Concepedia
Statistics
Publications
26
Citations
792
H-Index
17
Active since
1992
Affiliations
University of Verona(Current)
University of Iowa
National Taiwan University
Chalmers University of Technology
University of North Carolina at Chapel Hill
Maria Paola Bonacina is an author at University of Verona specializing in computing, computer science, and theorem proving.
Publications per year
1992–2019
PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems
Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang · Journal of Symbolic Computation · 1996 · 210 citations
Computing, Computer Science, Mathematics +13
New results on rewrite-based satisfiability procedures
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise et al. · ACM Transactions on Computational Logic · 2009 · 89 citations · Full text
Computing, Computer Science, Formal Methods +11
On Deciding Satisfiability by Theorem Proving with Speculative Inferences
Maria Paola Bonacina, Leonardo de Moura · Journal of Automated Reasoning · 2010 · 51 citations
A taxonomy of parallel strategies for deduction
Maria Paola Bonacina · Annals of Mathematics and Artificial Intelligence · 2000 · 37 citations
Computing, Computer Science, Knowledge Representation +10
Towards a foundation of completion procedures as semidecision procedures
Maria Paola Bonacina, Jieh Hsiang · Theoretical Computer Science · 1995 · 35 citations
Computing, Computer Science, Formal Methods +4
1–5 of 26