scientific article; zbMATH DE number 4162324

MaRDI QIDQ3489527zbMATH OpenFDO

Authors Pascal Van Hentenryck, Claudine Pradelles, L. Zimmer, Thomas Graf

Publication date 1989

zbMATH Keywords

CADcircuit designconstraint logic programming language CHIP

Mathematics Subject Classification ID

Artificial intelligence (68T99) Computer science aspects of computer-aided design (68U07)

Recommendations

• Simulation of hybrid circuits in constraint logic programming
• Using logic programming and coroutining for electronic CAD
• Logic programming and digital circuit analysis
• Lazy simulation of digital logic
• Constraint logic programming for reasoning about discrete event processes

Cited in

(29)

• Integrating answer set programming and constraint logic programming
• Model-based inference in CHARME.
• A hypergraph model for constraint logic programming and applications to bus drivers' scheduling
• Global optimization of disjunctive programs
• Computational systems for qualitative economics
• Running time experiments on some algorithms for solving propositional satisfiability problems
• New constructs for the description of combinatorial optimization problems in algebraic modeling languages
• On the arc consistency problem
• Asynchronous simulation of CMOS structures at switch level by logical programming
• Using logic programming and coroutining for electronic CAD
• scientific article; zbMATH DE number 4174373 (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
• Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
• Constraint Satisfaction
• A hybrid constraint programming approach to the log-truck scheduling problem
• Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes
• From eager or lazy constrained data acquisition: A general framework
• A logic-based approach to polymer sequence analysis
• Interval propagation to reason about sets: Definition and implementation of a practical language
• On the page number of RNA secondary structures with pseudoknots
• Simulation of hybrid circuits in constraint logic programming
• Logic-based modeling and solution of nonlinear discrete/continuous optimization problems
• A survey of search methodologies and automated system development for examination timetabling
• A multi-objective evolutionary algorithm for examination timetabling
• Undirected forest constraints
• A logic language for combinatorial optimization
• CPBPV: a constraint-programming framework for bounded program verification
• Scheduling internal audit activities: a stochastic combinatorial optimization problem

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3489527)