. "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 and path 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." . "388"^^ . "389379" . "1" . . "Principles of Constraint Processing" . "1"^^ . "978-1-59904-705-8" . . . . . "1"^^ . "Principles of Constraint Processing"@en . "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 and path 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."@en . "Principy zpracov\u00E1n\u00ED podm\u00EDnek"@cs . "P(1M0545), P(GA201/07/0205), P(GA201/08/0509), Z(MSM0021620838)" . . . "Kapitola pod\u00E1v\u00E1 p\u0159ehled o hlavn\u00EDch technik\u00E1ch spl\u0148ov\u00E1n\u00ED omezuj\u00EDc\u00EDch podm\u00EDnek."@cs . . . . . . "Principy zpracov\u00E1n\u00ED podm\u00EDnek"@cs . "44"^^ . . "11320" . "Idea Group" . . "RIV/00216208:11320/08:00100414" . "Principles of Constraint Processing" . . "Artificial Intelligence for Advanced Problem Solving Techniques" . . . . "[2D5B1818E590]" . "Hershey, USA" . "Principles; Constraint; Processing"@en . "Principles of Constraint Processing"@en . "RIV/00216208:11320/08:00100414!RIV09-MSM-11320___" . "Bart\u00E1k, Roman" .