Sebastiani, Roberto
Sebastiani, Roberto
Ingegneria e scienza dell'Informaz (29/10/12-)
'More deterministic' vs. 'Smaller' Buechi Automata for Efficient LTL Model Checking
2003-01-01 Sebastiani, Roberto; Tonetta, Stefano
A CEGAR-based Approach for Proving Invariant Properties of Transition Systems on Non-Linear Real Arithmetic
2016-01-01 Cimatti, Alessandro; Irfan, Ahmed; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
A general purpose reasoner for abstraction
1996-01-01 Giunchiglia, Fausto; Sebastiani, Roberto; A., Villafiorita; T., Walsh
A lazy and layered SMT(BV) solver for hard industrial verification problems
2007-01-01 Bruttomesso, Roberto; A., Cimatti; Franzen, Per Anders; Griggio, Alberto; Z., Hanna; A., Nadel; A., Palti; Sebastiani, Roberto
A Modular Approach to MaxSAT Modulo Theories
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; B., Joost Schaafsma; Sebastiani, Roberto
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
2003-01-01 Patel-Schneider, Peter F.; Sebastiani, Roberto
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
2003-01-01 P., Patel schneider; Sebastiani, Roberto
A new method for testing decision procedures in modal and terminological logics
1996-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
A new method for testing decision procedures in modal logics
1997-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
2002-01-01 Audemard, Gilles; Bertoli, Piergiorgio; Kornilowicz, Artur; Sebastiani, Roberto; Cimatti, Alessandro
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
2002-01-01 G., Audemard; P., Bertoli; A., Cimatti; A., Kornilowicz; Sebastiani, Roberto
A SAT-based decision procedure for ALC
1996-01-01 Giunchiglia, Fausto; Sebastiani, Roberto
A Simple and Flexible Way of Computing Small Unsatifiable Cores in Satisfiability Modulo Theories
2007-01-01 Cimatti, A.; Griggio, A.; Sebastiani, Roberto
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
2007-01-01 Cimatti, Alessandro; Sebastiani, Roberto; Griggio, Alberto
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
2007-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
A System and Methodology for Generating Random Modal Formula
2001-01-01 P., Patel schneider; Sebastiani, Roberto
Act, and the rest will follow: exploiting determinism in planning as satisfiability
1998-01-01 E., Giunchiglia; A., Massarotto; Sebastiani, Roberto
Advanced SMT techniques for weighted model integration
2019-01-01 Morettin, Paolo; Passerini, Andrea; Sebastiani, Roberto
An Analysis of Empirical Testing for Modal Decision Procedures
2000-01-01 I., Horrocks; P., Patel schneider; Sebastiani, Roberto
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
2005-01-01 M., Bozzano; Bruttomesso, Roberto; Cimatti, Alessandro; T., Junttila; P., Van Rossum; Sebastiani, Roberto; S., Schulz