Practical applications of constraint programming

This publication has 55 references indexed in Scilit:

• Symbolic model checking: 1020 States and beyond
  Published by Elsevier ,2004
• The LyriC language
  Published by Association for Computing Machinery (ACM) ,1995
• The OTI constraint solver: A constraint library for constructing interactive graphical user interfaces
  Published by Springer Nature ,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
• 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
  Published by Springer Nature ,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