Validated Constraint Solving-Practicalities, Pitfalls, and New Developments.

R. Baker Kearfott

Published in: Reliab. Comput. (2005)

Keyphrases

constraint solving
constraint logic programming
constraint propagation
constraint satisfaction problems
constraint solver
constraint satisfaction
constraint programming
artificial intelligence
design patterns
finite domain
lower bound
object oriented
simulated annealing
optimization problems