Keyphrases
- np complete
- satisfiability problem
- sat problem
- np complete problems
- phase transition
- np hard
- randomly generated
- constraint satisfaction problems
- sat instances
- pspace complete
- boolean satisfiability
- stochastic local search
- computational complexity
- stochastic local search algorithms
- data complexity
- conjunctive queries
- sat solving
- sat solvers
- propositional satisfiability
- upper bound
- max sat
- boolean functions
- boolean formula
- cnf formula
- polynomial time complexity
- backtracking search
- bounded treewidth
- uniform distribution
- search strategies
- search algorithm