Login / Signup
Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs.
Maria Paola Bonacina
Stéphane Graham-Lengrand
Natarajan Shankar
Published in:
J. Autom. Reason. (2022)
Keyphrases
</>
theorem prover
theorem proving
decision procedures
theoretical framework
theoretical basis
proof search
data driven
phase transition
equational theories
data sets
driven learning
functional modules
constraint satisfaction
np complete
neural network
modal logic
building blocks
computational complexity
formal proofs