✦ LIBER ✦

Simulation of hybrid circuits in constraint logic programming

✍ Scribed by T. Graf; P. Van Hentenryck; C. Pradelles-Lasserre; L. Zimmer

Book ID: 108020395
Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 656 KB
Volume: 20
Category: Article
ISSN: 0898-1221
DOI: 10.1016/0898-1221(90)90111-v

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Incremental search in Constraint Logic P

Incremental search in Constraint Logic Programming

✍ Pascal Van Hentenryck; Thierry Le Provost 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 966 KB

Experiments in reactive constraint logic

Experiments in reactive constraint logic programming

✍ Francois Fages; Julian Fowler; Thierry Sola 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 872 KB

In this paper we study a reactive extension of constraint logic programming (CLP). Our primary concerns are search problems in a dynamic environment, where interactions with the user (e.g. in interactive multi-criteria optimization problems) or interactions with the physical world (e.g. in time evol

Logic, Optimization, and Constraint Prog

Logic, Optimization, and Constraint Programming

✍ Hooker, John N. 📂 Article 📅 2002 🏛 Operations Research Society of America 🌐 English ⚖ 211 KB

Expressive Applications of Constraint Lo

Expressive Applications of Constraint Logic Programming

✍ William B. Day 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 580 KB

Repeated Redundant Inequalities in Const

Repeated Redundant Inequalities in Constraint Logic Programming

✍ Spiro Michaylov 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 362 KB

Constraint Satisfaction in Distributed C

Constraint Satisfaction in Distributed Concurrent Logic Programming

✍ HO-FUNG LEUNG; KEITH L. CLARK 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 602 KB

In constraint logic programming, unification is replaced by more general constraint satisfaction. To support constraint solving in a committed-choice concurrent logic programming language, the constraint solver also needs to determine the status of the 'ask'-constraints with respect to the current c