Sebastiani, Roberto

Sebastiani, Roberto  

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

Mostra records
Risultati 1 - 20 di 170 (tempo di esecuzione: 0.053 secondi).
Titolo Anno di pubblicazione Autori Unitn File
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking 1-gen-2003 Sebastiani, RobertoTonetta, Stefano
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic 1-gen-2016 Alessandro CimattiAhmed IrfanAlberto GriggioMarco RoveriRoberto Sebastiani
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 Modular Approach to MaxSAT Modulo Theories 1-gen-2013 Cimatti, AlessandroGriggio, AlbertoSebastiani, Roberto +
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures 1-gen-2003 Sebastiani, 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, RobertoCimatti, Alessandro +
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, AlessandroSebastiani, RobertoGriggio, Alberto
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 +