11 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.LO2021
Proof Generation in CDSAT
Maria Paola Bonacina
The main ideas in the CDSAT (Conflict-Driven Satisfiability) framework for SMT are summarized, leading to approaches to proof generation in CDSAT.
cs.AI2015★ 11 cited
On First-Order Model-Based Reasoning
Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
Reasoning semantically in first-order logic is notoriously a challenge. This paper surveys a selection of semantically-guided or model-based methods that aim at meeting aspects of…