Phase Transition Behavior of Cardinality and XOR Constraints.
Yash PoteSaurabh JoshiKuldeep S. MeelPublished in: IJCAI (2019)
Keyphrases
- phase transition
- constraint satisfaction
- combinatorial problems
- satisfiability problem
- cardinality constraints
- hard problems
- deep structure
- constraint programming
- randomly generated
- random instances
- cellular automata
- sat problem
- graph coloring
- random constraint satisfaction problems
- hamiltonian cycle
- np complete
- np complete problems
- heuristic search
- random graphs
- constraint networks
- random sat
- search space