Practical applications of constraint programming

Research output: Contribution to journalArticleResearchpeer-review

129 Citations (Scopus)

Abstract

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
JournalConstraints
Volume1
Issue number1-2
DOIs
Publication statusPublished - 1 Jan 1996
Externally publishedYes

Keywords

  • Survey applications

Cite this