SMELS: Satisfiability Modulo Equality with Lazy Superposition.
Christopher LynchDuc-Khanh TranPublished in: ATVA (2008)
Keyphrases
- satisfiability problem
- theorem proving
- decision procedures
- propositional logic
- np complete
- lazy learning
- sat problem
- case based reasoning
- terminological reasoning
- satisfiability testing
- quantified boolean formulas
- phase transition
- special case
- computational complexity
- averaged one dependence estimators
- search algorithm
- database