Keyphrases
- satisfiability problem
- graph theory
- satisfiability testing
- np complete
- phase transition
- propositional logic
- computational complexity
- sat problem
- stochastic local search
- terminological reasoning
- hypergraph model
- decomposition methods
- decision procedures
- reasoning problems
- expert systems
- artificial intelligence
- computational properties
- quantified boolean formulas
- data mining