Simulation of hybrid circuits in constraint logic programming
From MaRDI portal
Publication:805302
DOI10.1016/0898-1221(90)90111-VzbMath0728.68144MaRDI QIDQ805302
L. Zimmer, C. Pradelles-Lasserre, Pascal Van Hentenryck, Thomas Graf
Publication date: 1990
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Computer science aspects of computer-aided design (68U07) Computing methodologies and applications (68U99)
Related Items (6)
Running programs backwards: The logical inversion of imperative computation ⋮ The piecewise linear optimization polytope: new inequalities and intersection with semi-continuous constraints ⋮ A special ordered set approach for optimizing a discontinuous separable piecewise linear function ⋮ Constraint satisfaction using constraint logic programming ⋮ An effective logarithmic formulation for piecewise linearization requiring no inequality constraint ⋮ Simulation of hybrid circuits in constraint logic programming
Uses Software
Cites Work
- CLP\(({\mathfrak R})\) and some electrical engineering problems
- Simulation of hybrid circuits in constraint logic programming
- Constraint propagation with interval labels
- Solving a cutting-stock problem with the constraint logic programming language CHIP
- Consistency in networks of relations
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
This page was built for publication: Simulation of hybrid circuits in constraint logic programming
