Phase Transition Behavior of Cardinality and XOR Constraints.

Yash Pote Saurabh Joshi Kuldeep S. Meel

Published 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