Keyphrases
- boolean formula
- conjunctive normal form
- cnf formula
- polynomial size
- sat solving
- np complete
- computational complexity
- satisfiability problem
- sat solvers
- sat instances
- sat problem
- disjunctive normal form
- boolean functions
- bounded treewidth
- special case
- practical problems
- quantified boolean formulas
- linear constraints
- satisfiability testing
- propositional logic
- model counting
- propositional satisfiability
- phase transition
- dnf formulas
- worst case
- approximation algorithms
- terminological reasoning
- decision problems
- randomly generated
- stochastic local search
- sat encodings
- boolean satisfiability
- np hard
- clause learning
- uniform distribution