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