Solution Directed Backjumping for QCSP.

Fahiem Bacchus Kostas Stergiou

Published in: CP (2007)

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint propagation
constraint programming
constraint solver
optimal solution
dynamical systems
search space
dynamic environments
integer programming