Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures
Bonacina, Maria Paola, Ghilardi, Silvio, Nicolini, Enrica, Ranise, Silvio, Zucchelli, Daniele
Published in Automated Reasoning (2006)
Published in Automated Reasoning (2006)
Get full text
Book Chapter
Conference Proceeding
Proof Generation in CDSAT
Bonacina, Maria Paola
Published in Electronic proceedings in theoretical computer science (07.07.2021)
Published in Electronic proceedings in theoretical computer science (07.07.2021)
Get full text
Journal Article
PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems
ZHANG, HANTAO, BONACINA, MARIA PAOLA, HSIANG, JIEH
Published in Journal of symbolic computation (01.04.1996)
Published in Journal of symbolic computation (01.04.1996)
Get full text
Journal Article
Larry Wos: Visions of Automated Reasoning
Beeson, Michael, Bonacina, Maria Paola, Kinyon, Michael, Sutcliffe, Geoff
Published in Journal of automated reasoning (01.11.2022)
Published in Journal of automated reasoning (01.11.2022)
Get full text
Journal Article
Conflict-Driven Satisfiability for Theory Combination: Lemmas, Modules, and Proofs
Bonacina, Maria Paola, Graham-Lengrand, Stéphane, Shankar, Natarajan
Published in Journal of automated reasoning (01.02.2022)
Published in Journal of automated reasoning (01.02.2022)
Get full text
Journal Article
Reasoning about Quantifiers in SMT: The QSMA algorithm
Bonacina, Maria Paola
Published in 2023 Formal Methods in Computer-Aided Design (FMCAD) (24.10.2023)
Published in 2023 Formal Methods in Computer-Aided Design (FMCAD) (24.10.2023)
Get full text
Conference Proceeding
On Deciding Satisfiability by Theorem Proving with Speculative Inferences
Bonacina, Maria Paola, Lynch, Christopher A., de Moura, Leonardo
Published in Journal of automated reasoning (01.08.2011)
Published in Journal of automated reasoning (01.08.2011)
Get full text
Journal Article