Keyphrases
- constraint handling rules
- satisfiability problem
- propositional logic
- np complete
- phase transition
- terminological reasoning
- computational complexity
- decision procedures
- sat problem
- propositional formulas
- learning algorithm
- bayesian networks
- propositional theories
- quantified boolean formulas
- conjunctive normal form
- neural network
- special case
- expert systems
- data structure