Login / Signup
Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator.
Enrica Nicolini
Christophe Ringeissen
Michaël Rusinowitch
Published in:
Fundam. Informaticae (2010)
Keyphrases
</>
satisfiability problem
np complete
computational complexity
theoretical framework
phase transition
propositional logic
neural network
genetic algorithm
learning algorithm
knowledge base
relational databases
data model
combining multiple
domain theory
causal reasoning
propositional theories