Principles of Constraint Processing
Result description
This chapter gives an introduction to mainstream constraint satisfaction techniques available in existing constraint solvers and answers the question 'How does constraint satisfaction work?'. The focus of the chapter is on techniques of constraint propagation, depth-first search, and their integration. It explains backtracking, its drawbacks, and how to remove these drawbacks by methods such as backjumping and backmarking. Then, the focus is on consistency techniques; it explains methods such as arc andpath consistency and introduces consistencies of higher level. It also presents how consistency techniques are integrated with depth-first search algorithms in a look-ahead concept and what value and variable ordering heuristics are available there. Finally, techniques for optimization with constraints are presented.
Keywords
The result's identifiers
Result code in IS VaVaI
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Principles of Constraint Processing
Original language description
This chapter gives an introduction to mainstream constraint satisfaction techniques available in existing constraint solvers and answers the question 'How does constraint satisfaction work?'. The focus of the chapter is on techniques of constraint propagation, depth-first search, and their integration. It explains backtracking, its drawbacks, and how to remove these drawbacks by methods such as backjumping and backmarking. Then, the focus is on consistency techniques; it explains methods such as arc andpath consistency and introduces consistencies of higher level. It also presents how consistency techniques are integrated with depth-first search algorithms in a look-ahead concept and what value and variable ordering heuristics are available there. Finally, techniques for optimization with constraints are presented.
Czech name
Principy zpracování podmínek
Czech description
Kapitola podává přehled o hlavních technikách splňování omezujících podmínek.
Classification
Type
C - Chapter in a specialist book
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Book/collection name
Artificial Intelligence for Advanced Problem Solving Techniques
ISBN
978-1-59904-705-8
Number of pages of the result
44
Pages from-to
—
Number of pages of the book
388
Publisher name
Idea Group
Place of publication
Hershey, USA
UT code for WoS chapter
—
Result type
C - Chapter in a specialist book
CEP
JC - Computer hardware and software
Year of implementation
2008