CATALOGO DEI PRODOTTI DELLA RICERCA

BONACINA, Maria Paola

BONACINA, Maria Paola  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 58 (tempo di esecuzione: 0.031 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
An application of automated equational reasoning to many-valued logic 1-gen-1991 Siva, Anantharaman; Bonacina, Maria Paola
Analysis of distributed-search contraction-based strategies 1-gen-1998 Bonacina, Maria Paola
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
Canonical inference for implicational systems 1-gen-2008 Bonacina, Maria Paola; Nachum, Dershowitz
CDSAT for nondisjoint theories with shared predicates: arrays with abstract length 1-gen-2022 Bonacina, Maria Paola; Graham-Lengrand, Stephane; Shankar, Natarajan
Combination of distributed search and multi-search in Peers-mcd.d 1-gen-2001 Bonacina, Maria Paola
Completion procedures as semidecision procedures 1-gen-1991 Bonacina, Maria Paola; Jieh, Hsiang
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
Decidability and undecidability results for Nelson-Oppen and rewrite-based decision procedures 1-gen-2006 Bonacina, Maria Paola; Silvio, Ghilardi; Enrica, Nicolini; Silvio, Ranise; Daniele, Zucchelli
Decision procedures for variable-inactive theories and two polynomial T-satisfiability procedures (Position paper) 1-gen-2007 Bonacina, Maria Paola; Mnacho, Echenim
Distributed deduction by Clause-Diffusion: the Aquarius prover 1-gen-1993 Bonacina, Maria Paola; Jieh, Hsiang
Distributed theorem proving by Peers 1-gen-1994 Bonacina, Maria Paola; William W., Mccune
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