Login / Signup
Conflict-Driven Satisfiability for Theory Combination: Transition System and Completeness.
Maria Paola Bonacina
Stéphane Graham-Lengrand
Natarajan Shankar
Published in:
J. Autom. Reason. (2020)
Keyphrases
</>
state transition
driven learning
theoretical framework
np complete
computational model
satisfiability problem
databases
multi agent
computational complexity
data driven
information theory
theoretical basis
combining multiple
propositional theories
satisfiability testing