An oracle separating conjectures about incompleteness in the finite domain.
Titus DosePublished in: Theor. Comput. Sci. (2020)
Keyphrases
- finite domain
- constraint satisfaction problems
- constraint programming
- constraint propagation
- constraint logic programming
- satisfiability problem
- constraint solving
- state variables
- constraint solver
- constraint satisfaction
- bounded treewidth
- incomplete information
- answer set programming
- heuristic search
- combinatorial problems
- arc consistency
- database