Keyphrases
- np complete
- satisfiability problem
- sat problem
- np complete problems
- phase transition
- constraint satisfaction problems
- np hard
- randomly generated
- max sat
- stochastic local search algorithms
- stochastic local search
- boolean satisfiability
- pspace complete
- sat instances
- computational complexity
- propositional satisfiability
- sat solvers
- cnf formula
- boolean formula
- conjunctive queries
- boolean functions
- bounded treewidth
- upper bound
- sat solving
- data complexity
- branch and bound algorithm
- query evaluation
- search algorithm