Proofs in conflict-driven theory combination.

Maria Paola Bonacina Stéphane Graham-Lengrand Natarajan Shankar

Published in: CPP (2018)

Keyphrases

theoretical framework
data driven
general theory
search algorithm
theorem prover
combining multiple
decision procedures
equational theories
real world
computer vision
three dimensional
conceptual framework
conflict resolution
computer programs
formal theory
driven learning