Practical applications of constraint programming

This publication has 53 references indexed in Scilit:

• The LyriC language
  1995
• The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces
  Lecture Notes in Computer Science, 1995
• Arc-consistency and arc-consistency again
  Artificial Intelligence, 1994
• Extending chip in order to solve complex scheduling and placement problems
  Mathematical and Computer Modelling, 1993
• Symbolic model checking: 1020 States and beyond
  Information and Computation, 1992
• An introduction to Prolog III
  Communications of the ACM, 1990
• Embedding boolean expressions into logic programming
  Journal of Symbolic Computation, 1987
• Using Logic Programming for Fault Diagnosis in Digital Circuits
  1987
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986
• The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
  ACM Transactions on Programming Languages and Systems, 1981