Author:Maria Paola Bonacina

Keyphrases

Big Data, Conflict-driven reasoning, Equality Reasoning, explanation, instance-based theorem proving, model-based theorem proving, model building, Satisfiability modulo assignment, Satisfiability Modulo Theory, semantic guidance, theorem proving, theory combination.