Folgen
Maria Paola Bonacina
Maria Paola Bonacina
Professor of Computer Science, Università degli Studi di Verona
Bestätigte E-Mail-Adresse bei univr.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
PSATO: a distributed propositional prover and its application to quasigroup problems
H Zhang, MP Bonacina, J Hsiang
Journal of Symbolic Computation 21 (4,5&6), 543-560, 1996
3041996
New results on rewrite-based satisfiability procedures
A Armando, MP Bonacina, S Ranise, S Schulz
ACM Transactions on Computational Logic (TOCL) 10 (1), 129-179, 2009
1272009
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures
MP Bonacina, S Ghilardi, E Nicolini, S Ranise, D Zucchelli
Proceedings of the Third International Conference on Automated Reasoning …, 2006
712006
A taxonomy of parallel strategies for deduction
MP Bonacina
Annals of Mathematics and Artificial Intelligence 29, 223-257, 2000
632000
On deciding satisfiability by theorem proving with speculative inferences
MP Bonacina, CA Lynch, L De Moura
Journal of Automated Reasoning 47 (2), 161-189, 2011
542011
On a rewriting approach to satisfiability procedures: extension, combination of theories and an experimental appraisal
A Armando, MP Bonacina, S Ranise, S Schulz
Proceedings of the Fifth International Workshop on Frontiers of Combining …, 2005
502005
Towards a foundation of completion procedures as semidecision procedures
MP Bonacina, J Hsiang
Theoretical Computer Science 146 (1-2), 199-242, 1995
471995
Parallelization of deduction strategies: an analytical study
MP Bonacina, J Hsiang
Journal of Automated Reasoning 13 (1), 1-33, 1994
471994
Abstract canonical inference
MP Bonacina, N Dershowitz
ACM Transactions on Computational Logic (TOCL) 8 (1), 180-208, 2007
432007
A taxonomy of theorem-proving strategies
MP Bonacina
Artificial Intelligence Today - Recent Trends and Developments 1600, 43-84, 1999
391999
On rewrite programs: semantics and relationship with Prolog
MP Bonacina, J Hsiang
The Journal of Logic Programming 14 (1&2), 155-180, 1992
391992
On Variable-inactivity and Polynomial -Satisfiability Procedures
MP Bonacina, M Echenim
Journal of Logic and Computation 18 (1), 77-96, 2008
372008
Theory decision by decomposition
MP Bonacina, M Echenim
Journal of Symbolic Computation 45 (2), 229-260, 2010
352010
The Clause-Diffusion methodology for distributed deduction
MP Bonacina, J Hsiang
Fundamenta Informaticae 24 (1), 177-207, 1995
341995
On Deciding Satisfiability by DPLL (Gamma+T) and Unsound Theorem Proving
MP Bonacina, C Lynch, L De Moura
Proceedings of the Twenty-Second International Conference on Automated …, 2009
31*2009
Satisfiability Modulo Theories and Assignments
MP Bonacina, S Graham-Lengrand, N Shankar
Proceedings of the Twenty-Sixth Conference on Automated Deduction (CADE …, 2017
302017
Distributed automated deduction
MP Bonacina
State University of New York at Stony Brook, 1992
291992
Distributed theorem proving by Peers
MP Bonacina, WW McCune
Proceedings of the Twelfth International Conference on Automated Deduction …, 1994
281994
On interpolation in automated theorem proving
MP Bonacina, M Johansson
Journal of Automated Reasoning 54 (1), 69-97, 2015
272015
Rewrite-based satisfiability procedures for recursive data structures
MP Bonacina, M Echenim
Electronic Notes in Theoretical Computer Science 174 (8), 55-70, 2007
252007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20