On Superposition-Based Satisfiability Procedures and Their Combination.

Hélène Kirchner Silvio Ranise Christophe Ringeissen Duc-Khanh Tran

Published in: ICTAC (2005)

Keyphrases

computational complexity
decision procedures
satisfiability problem
theorem proving
database
databases
neural network
machine learning
knowledge base
similarity measure
search algorithm
np complete
expressive power
propositional logic
search procedures