Keyphrases
- sat instances
- sat solvers
- search space
- bounded treewidth
- satisfiability problem
- sat problem
- tractable classes
- np complete
- upper bound
- space complexity
- fixed parameter tractable
- boolean satisfiability
- boolean functions
- randomly generated
- sat solving
- stochastic local search
- max sat
- propositional satisfiability
- discrete random variables
- phase transition
- search algorithm
- search tree
- computational properties
- stochastic local search algorithms
- tree decompositions
- pseudo boolean constraints
- constraint graph
- branch and bound algorithm
- constraint satisfaction
- orders of magnitude
- knowledge representation
- query language
- lower bound