Keyphrases
- truth table
- boolean functions
- defeasible logic
- satisfiability problem
- phase transition
- sat solvers
- term dnf
- propositional satisfiability
- sat problem
- dnf formulas
- max sat
- search algorithm
- search strategies
- randomly generated
- membership queries
- machine learning
- normal form
- np complete
- linear programming
- case based reasoning
- boolean formula
- fuzzy logic
- objective function
- knowledge base