IRIS Institutional Research Information System

Sebastiani, Roberto

Sebastiani, Roberto  

Mostra records
Risultati 1 - 20 di 71 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
A General Purpose Reasoner for Abstraction 1-gen-1995 Giunchiglia, Fausto; Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; T., Walsh
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems 1-gen-2007 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Ziyad, Hanna; Alexander, Nadel; Amit, Palti; Sebastiani, Roberto
A New Method for Testing Decision Procedures in Modal and Terminological Logics 1-gen-1996 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions 1-gen-2002 Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
A SAT-based Decision Procedure for ALC 1-gen-1996 Giunchiglia, Fausto; Sebastiani, Roberto
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 1-gen-2007 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability 1-gen-1998 E., Giunchiglia; A., Massarotto; Sebastiani, Roberto
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; Rossum Peter, Van; S. P., Schulz; Sebastiani, Roberto
Applying SMT in Symbolic Execution of Microcode 1-gen-2010 Anders, Franzen; Cimatti, Alessandro; Alexander, Nadel; Sebastiani, Roberto; Jonathan, Shalev
Applying the Davis-Putnam procedure to non-clausal formulas 1-gen-1999 E., Giunchiglia; Sebastiani, Roberto
Bounded Model Checking for Timed Systems 1-gen-2002 Audemard, Gilles; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 1-gen-2000 Giunchiglia, Fausto; Sebastiani, Roberto
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 1-gen-1996 Giunchiglia, Fausto; Sebastiani, Roberto
Building Efficient Decision Procedures on top of SAT solvers 1-gen-2006 Cimatti, Alessandro; Sebastiani, Roberto
Calculating Criticalities 1-gen-1996 A., Bundy; Giunchiglia, Fausto; Sebastiani, Roberto; T., Walsh
Computing Abstraction Hierarchies by Numerical Simulation 1-gen-1996 A., Bundy; Giunchiglia, Fausto; Sebastiani, Roberto; T., Walsh
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories 1-gen-2011 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 1-gen-2006 Roberto, Bruttomesso; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 1-gen-2009 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories 1-gen-2009 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto