BONACINA, Maria Paola
BONACINA, Maria Paola
DIPARTIMENTO DI INFORMATICA
A category theory approach to completion-based theorem proving strategies (Abstract)
1991-01-01 Bonacina, Maria Paola; Jieh, Hsiang
A system for distributed simplification-based theorem proving
1992-01-01 Bonacina, Maria Paola; Jieh, Hsiang
Automated reasoning for explainable artificial intelligence
2017-01-01 Bonacina, Maria Paola
Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures
2005-01-01 Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz
CDSAT for nondisjoint theories with shared predicates: arrays with abstract length
2022-01-01 Bonacina, Maria Paola; Graham-Lengrand, Stephane; Shankar, Natarajan
Conflict-driven reasoning in unions of theories
2019-01-01 Bonacina, Maria Paola
Constraint manipulation in SGGS
2014-01-01 Bonacina, Maria Paola; David A., Plaisted
Cumulating search in a distributed computing environment: a case study in parallel satisfiability
1994-01-01 Hantao, Zhang; Bonacina, Maria Paola
Decision procedures for variable-inactive theories and two polynomial T-satisfiability procedures (Position paper)
2007-01-01 Bonacina, Maria Paola; Mnacho, Echenim
Experiments with subdivision of search in distributed theorem proving
1997-01-01 Bonacina, Maria Paola
Future directions of automated deduction: Distributed automated deduction (Position paper)
1996-01-01 Bonacina, Maria Paola
Future directions of automated deduction: Strategy analysis for theorem proving (Position paper)
1996-01-01 Bonacina, Maria Paola
High performance simplification-based automated deduction
1992-01-01 Bonacina, Maria Paola; Jieh, Hsiang
High-performance deduction for verification: a case study in the theory of arrays
2002-01-01 Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Michael, Rusinowitch; Aditya Kumar, Sehgal
Machine-independent evaluation of theorem-proving strategies (Position paper)
1997-01-01 Bonacina, Maria Paola
Mechanical proofs of the Levi commutator problem
1998-01-01 Bonacina, Maria Paola
On conflict-driven reasoning
2018-01-01 Bonacina, Maria Paola
On handling distinct objects in the superposition calculus
2005-01-01 Stephan, Schulz; Bonacina, Maria Paola
On model-based reasoning: recent trends and current developments
2013-01-01 Bonacina, Maria Paola
On SGGS and Horn clauses
2022-01-01 Bonacina, Maria Paola; Winkler, Sarah