Efficient constraint propagation engines.

Christian Schulte Peter J. Stuckey

Published in: ACM Trans. Program. Lang. Syst. (2008)

Keyphrases

constraint propagation
constraint reasoning
constraint satisfaction problems
constraint programming
temporal constraints
constraint satisfaction
systematic search
tree search
constraint solving
quantifier elimination
genetic algorithm
objective function
graph model
arc consistency