On the Satisfiability of Smooth Grid CSPs.
Vasily AlferovMateus de Oliveira OliveiraPublished in: SEA (2022)
Keyphrases
- symmetry breaking
- constraint satisfaction problems
- sat problem
- sat encodings
- np complete
- satisfiability problem
- constraint satisfaction
- constraint propagation
- grid points
- grid computing
- solving constraint satisfaction problems
- phase transition
- arc consistency
- search space
- decision procedures
- global constraints
- tree decomposition
- combinatorial problems
- constraint networks
- propositional logic
- constraint programming
- np hard
- max sat
- non binary
- quantified boolean formulas