Maria Paola Bonacina
Università degli Studi di Verona
H-index: 22
Europe-Italy
Top articles of Maria Paola Bonacina
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
The Next Generation of Deduction Systems: From Composition to Compositionality (Dagstuhl Seminar 23471) | DAGSTUHL REPORTS | Maria Paola Bonacina Pascal Fontaine Claudia Nalon Claudia Schon Martin Desharnais | 2024 |
Reasoning about Quantifiers in SMT: The QSMA algorithm | CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2023 | Maria Paola Bonacina | 2023/10/24 |
QSMA: a new algorithm for quantified satisfiability modulo theory and assignment | Maria Paola Bonacina Stéphane Graham-Lengrand Christophe Vauthier | 2023/7/1 | |
Semantically-Guided Goal-Sensitive Reasoning: Decision Procedures and the Koala Prover | Journal of Automated Reasoning | Maria Paola Bonacina Sarah Winkler | 2023/3 |
Set of support, demodulation, paramodulation: a historical perspective | Journal of Automated Reasoning | Maria Paola Bonacina | 2022/11 |
CDSAT for nondisjoint theories with shared predicates: arrays with abstract length | Satisfiability Modulo Theories workshop, CEUR Workshop Proceedings | Maria Paola Bonacina Stéphane Graham-Lengrand Natarajan Shankar | 2022/8 |
Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs | Journal of Automated Reasoning | Maria Paola Bonacina Stéphane Graham-Lengrand Natarajan Shankar | 2022/2/1 |
On SGGS and Horn clauses | CEUR WORKSHOP PROCEEDINGS | Maria Paola Bonacina Sarah Winkler | 2022 |
Larry Wos–Visions of Automated Reasoning | Journal of Automated Reasoning | Michael Beeson Maria Paola Bonacina Michael Kinyon Geoff Sutcliffe | 2022 |
Six Decades of Automated Reasoning: Papers in Memory of Larry Wos: Foreword | Journal of Automated Reasoning | Maria Paola Bonacina | 2022/11 |
Proof Generation in CDSAT | arXiv preprint arXiv:2107.02351 | Maria Paola Bonacina | 2021/7/6 |
SGGS decision procedures | Maria Paola Bonacina Sarah Winkler | 2020 |