Simulation of hybrid circuits in constraint logic programming

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)

zbMATH Keywords

constraint logic programminghybrid circuits

Mathematics Subject Classification ID

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

• CHIP
• elsA

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