New Relations and Separations of conjectures about Incompleteness in the finite Domain.

Published in: J. Symb. Log. (2022)

Keyphrases

finite domain
constraint programming
constraint satisfaction problems
constraint propagation
satisfiability problem
constraint solving
constraint logic programming
constraint solver
state variables
bounded treewidth
straight forward
np complete
constraint networks