Balanced Random Constraint Satisfaction: Phase Transition and Hardness.
Tian LiuChaoyi WangWei XuPublished in: FAW (2018)
Keyphrases
- constraint satisfaction
- phase transition
- random instances
- easy hard easy pattern
- random constraint satisfaction problems
- randomly generated
- constraint satisfaction problems
- combinatorial problems
- satisfiability problem
- hard problems
- random sat
- heuristic search
- constraint propagation
- constraint programming
- sat problem
- graph coloring
- sat solvers
- constraint relaxation
- soft constraints
- sat instances
- stochastic local search
- np complete problems
- arc consistency
- random graphs
- binary csps