Simulation of hybrid circuits in constraint logic programming
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 4162324
- A Logic Programming Framework for Combinational Circuit Synthesis
- Simulating circuit-level simplifications on CNF
- Synthesizing Switching Logic Using Constraint Solving
- Simulation and synthesis of deduction calculi
- scientific article; zbMATH DE number 744077
- On an approach to logical simulation bidirectional circuits
Cites work
- CLP\(({\mathfrak R})\) and some electrical engineering problems
- Consistency in networks of relations
- Constraint propagation with interval labels
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- Simulation of hybrid circuits in constraint logic programming
- Solving a cutting-stock problem with the constraint logic programming language CHIP
Cited in
(11)- Constraint satisfaction using constraint logic programming
- Running programs backwards: The logical inversion of imperative computation
- An effective logarithmic formulation for piecewise linearization requiring no inequality constraint
- Asynchronous simulation of CMOS structures at switch level by logical programming
- Using logic programming and coroutining for electronic CAD
- scientific article; zbMATH DE number 4162324 (Why is no real title available?)
- scientific article; zbMATH DE number 5788647 (Why is no real title available?)
- A Logic Programming Framework for Combinational Circuit Synthesis
- The piecewise linear optimization polytope: new inequalities and intersection with semi-continuous constraints
- Simulation of hybrid circuits in constraint logic programming
- A special ordered set approach for optimizing a discontinuous separable piecewise linear function
This page was built for publication: Simulation of hybrid circuits in constraint logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q805302)
