New relations and separations of conjectures about incompleteness in the finite domain.

Published in: CoRR (2019)

Keyphrases

finite domain
constraint programming
constraint propagation
constraint satisfaction problems
constraint logic programming
constraint solving
satisfiability problem
incomplete information
straight forward
bounded treewidth
constraint satisfaction
state variables
constraint solver