scientific article; zbMATH DE number 4162324

zbMATH Open0707.68101MaRDI QIDQ3489527FDOQ3489527

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

Publication date: 1989

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

CADcircuit designconstraint logic programming language CHIP

Mathematics Subject Classification ID

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

Cited In (28)

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

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)