BONACINA, Maria Paola

BONACINA, Maria Paola  

DIPARTIMENTO DI INFORMATICA  

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