Practical applications of constraint programming

Research output: Contribution to journalArticleResearchpeer-review

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

Wallace, Mark. / Practical applications of constraint programming. In: Constraints. 1996 ; Vol. 1, No. 1-2. pp. 139-168.
@article{1ce2fbba329040648223b6dffb2d25ab,
title = "Practical applications of constraint programming",
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.",
keywords = "Survey applications",
author = "Mark Wallace",
year = "1996",
month = "1",
day = "1",
doi = "10.1007/BF00143881",
language = "English",
volume = "1",
pages = "139--168",
journal = "Constraints",
issn = "1383-7133",
publisher = "Springer-Verlag London Ltd.",
number = "1-2",

}

Practical applications of constraint programming. / Wallace, Mark.

In: Constraints, Vol. 1, No. 1-2, 01.01.1996, p. 139-168.

Research output: Contribution to journalArticleResearchpeer-review

TY - JOUR

T1 - Practical applications of constraint programming

AU - Wallace, Mark

PY - 1996/1/1

Y1 - 1996/1/1

N2 - 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.

AB - 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.

KW - Survey applications

UR - http://www.scopus.com/inward/record.url?scp=0001737878&partnerID=8YFLogxK

U2 - 10.1007/BF00143881

DO - 10.1007/BF00143881

M3 - Article

VL - 1

SP - 139

EP - 168

JO - Constraints

JF - Constraints

SN - 1383-7133

IS - 1-2

ER -