Heavy-Tailed Phenomena in Satisfiability and Constraint Satisfaction Problems.
Carla P. GomesBart SelmanNuno CratoHenry A. KautzPublished in: J. Autom. Reason. (2000)
Keyphrases
- constraint satisfaction problems
- heavy tailed
- sat problem
- np complete
- constraint satisfaction
- reasoning problems
- satisfiability problem
- search space
- constraint programming
- symmetry breaking
- phase transition
- sat encodings
- constraint propagation
- generalized gaussian
- np hard
- arc consistency
- combinatorial problems
- backtracking search
- random instances
- non binary
- sat instances
- cnf formula
- constraint networks
- propositional logic
- computational problems
- propositional satisfiability
- finding optimal solutions
- prior distribution
- randomly generated
- wavelet transform
- special case