Further oracles separating conjectures about incompleteness in the finite domain.
Titus DosePublished in: Theor. Comput. Sci. (2020)
Keyphrases
- finite domain
- constraint programming
- constraint satisfaction problems
- constraint propagation
- satisfiability problem
- constraint solving
- constraint logic programming
- constraint solver
- incomplete information
- state variables
- bounded treewidth
- constraint satisfaction
- answer set programming
- global constraints
- straight forward
- search space
- database