Max-Sur-CSP on Two Elements.

Published in: CP (2012)

Keyphrases

constraint satisfaction problems
constraint programming
constraint satisfaction
constraint propagation
learning algorithm
constraint solving
ordering heuristics
temporal reasoning
tree decomposition