Bounds on Threshold of Regular Random $k$-SAT
Vishwambhar RathiErik AurellLars K. RasmussenMikael SkoglundPublished in: CoRR (2010)
Keyphrases
- upper bound
- lower bound
- search algorithm
- worst case
- satisfiability problem
- sat solvers
- sat problem
- phase transition
- data sets
- vc dimension
- uniformly distributed
- boolean satisfiability
- max sat
- threshold selection
- sat solving
- linear threshold
- threshold values
- average case
- upper and lower bounds
- lower and upper bounds
- randomly generated