Satisfiability of Ordering CSPs Above Average.
Konstantin MakarychevYury MakarychevYuan ZhouPublished in: CoRR (2015)
Keyphrases
- symmetry breaking
- constraint satisfaction problems
- satisfiability problem
- np complete
- ordering heuristics
- sat problem
- constraint propagation
- constraint satisfaction
- computational complexity
- partial order
- arc consistency
- sat encodings
- constraint programming
- decision procedures
- tree decomposition
- satisfiability testing
- phase transition