Practical applications of constraint programming

Research output: Contribution to journalArticleResearchpeer-review

138 Citations (Scopus)


Constraint programming offers facilities for problem modelling, constraint propagation and search. This paper discusses the resulting benefits for practical applications which exploit these facilities. The modelling facilities are particularly exploited in applications to verification, both of circuits and of real time control systems. The propagation facilities are exploited in applications involving user feedback and graphical interfaces. The search facilities are exploited in applications such as scheduling and resource allocation, which involve combinatorial problems. The paper surveys applications under each of these three headings.

Original languageEnglish
Pages (from-to)139-168
Number of pages30
Issue number1-2
Publication statusPublished - 1 Jan 1996
Externally publishedYes


  • Survey applications

Cite this