Sebastiani, Roberto

Sebastiani, Roberto  

Ingegneria e scienza dell'Informaz (29/10/12-)  

Mostra records
Risultati 1 - 20 di 137 (tempo di esecuzione: 0.055 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A general purpose reasoner for abstraction 1-gen-1996 Giunchiglia, FaustoSebastiani, Roberto +
A lazy and layered SMT(BV) solver for hard industrial verification problems 1-gen-2007 Bruttomesso, RobertoFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto +
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures 1-gen-2003 Sebastiani, Roberto +
A new method for testing decision procedures in modal and terminological logics 1-gen-1996 Giunchiglia, FaustoRoveri, MarcoSebastiani, Roberto
A new method for testing decision procedures in modal logics 1-gen-1997 Giunchiglia, FaustoRoveri, MarcoSebastiani, Roberto
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 1-gen-2002 Sebastiani, Roberto +
A SAT-based decision procedure for ALC 1-gen-1996 Giunchiglia, FaustoSebastiani, Roberto
A Simple and Flexible Way of Computing Small Unsatifiable Cores in Satisfiability Modulo Theories 1-gen-2007 A. GriggioSebastiani, Roberto +
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 1-gen-2007 Cimatti, AlessandroGriggio, AlbertoSebastiani, Roberto
A System and Methodology for Generating Random Modal Formula 1-gen-2001 Sebastiani, Roberto +
Act, and the rest will follow: exploiting determinism in planning as satisfiability 1-gen-1998 Sebastiani, Roberto +
Advanced SMT techniques for weighted model integration 1-gen-2019 Morettin, PaoloPasserini, AndreaSebastiani, Roberto
An Analysis of Empirical Testing for Modal Decision Procedures 1-gen-2000 Sebastiani, Roberto +
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 1-gen-2005 Bruttomesso, RobertoCimatti, AlessandroSebastiani, Roberto +
Applying GSAT To Non-Clausal Formulas 1-gen-1994 Sebastiani, Roberto
Applying SMT in Symbolic Execution of Microcode 1-gen-2010 Cimatti, AlessandroSebastiani, Roberto +
Applying the Davis-Putnam procedure to non-clausal formulas 1-gen-1999 Sebastiani, Roberto +
Automated Reasoning in ALCQ via SMT 1-gen-2011 Sebastiani, RobertoVescovi, Michele +
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability 1-gen-2009 Sebastiani, Roberto +
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 1-gen-2009 Sebastiani, RobertoVescovi, Michele