SMELS: Satisfiability Modulo Equality with Lazy Superposition.
Christopher LynchQuang-Trung TaDuc-Khanh TranPublished in: J. Autom. Reason. (2013)
Keyphrases
- satisfiability problem
- theorem proving
- decision procedures
- np complete
- propositional logic
- terminological reasoning
- computational complexity
- lazy learning
- phase transition
- satisfiability testing
- multiply sectioned bayesian networks
- genetic algorithm
- database systems
- reasoning problems
- averaged one dependence estimators