Conference paper

Sebastiani, Roberto (2007) From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain. LNCS; 4720 . Berlin ; Heidelberg : Springer. - (Lecture Notes in Computer Science; 4720), pp. 28-46.

Departmental Technical Report

Sebastiani, Roberto and Tomasi, Silvia (2012) Optimization in SMT with LA(Q) Cost Functions. Trento : Università degli Studi di Trento.

Vescovi, Michele and Sebastiani, Roberto and Haarlsev, Volker (2011) Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT. UNSPECIFIED. (Unpublished)

Griggio, Alberto and Sebastiani, Roberto and Tomasi, Silvia (2009) Stochastic Local Search for SMT: a Preliminary Report. UNSPECIFIED. (Submitted)

Beyer, Dirk and Cimatti, Alessandro and Griggio, Alberto and Keremoglu, M. Erkan and Sebastiani, Roberto (2009) Software Model Checking via Large-Block Encoding. UNSPECIFIED. (Unpublished)

Sebastiani, Roberto and Vescovi, Michele (2009) Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. UNSPECIFIED. (Unpublished)

Bruttomesso, Roberto and Cimatti, Alessandro and Franzen, Anders and Griggio, Alberto and Sebastiani, Roberto (2008) Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. UNSPECIFIED. (Submitted)

Cimatti, Alessandro and Griggio, Alberto and Sebastiani, Roberto (2007) Efficient Interpolant Generation in Satisfiability Modulo Theories. UNSPECIFIED. (Unpublished)

Cimatti, Alessandro and Griggio, Alberto and Sebastiani, Roberto (2007) Efficient Interpolant Generation in Satisfiability Modulo Theories. UNSPECIFIED. (Unpublished)

Sebastiani, Roberto (2007) Lazy Satisfiability Modulo Theories. UNSPECIFIED. (Submitted)

Cimatti, Alessandro and Griggio, Alberto and Sebastiani, Roberto (2007) A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories. UNSPECIFIED. (Unpublished)

Bruttomesso, Roberto and Cimatti, Alessandro and Franzén, Anders and Griggio, Alberto and Sebastiani, Roberto (2006) Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. UNSPECIFIED.

Sebastiani, Roberto and Vescovi, Michele (2006) Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC. UNSPECIFIED. (Submitted)

Bruttomesso, Roberto and Cimatti, Alessandro and Franzén, Anders and Griggio, Alberto and Santuari, Alessandro and Sebastiani, Roberto (2006) To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T). UNSPECIFIED. (In Press)

Sebastiani, Roberto (2004) On Efficiently Integrating Boolean and Theory-Specific Solving Procedures. UNSPECIFIED. (Unpublished)

Sebastiani, Roberto and Singerman, Eli and Tonetta, Stefano and Y. Vardi, Moshe (2004) GSTE is Partitioned Model Checking. UNSPECIFIED.

Sebastiani, Roberto and Tonetta, Stefano (2003) "More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking. UNSPECIFIED. (Unpublished)

Patel-Schneider, Peter F. and Sebastiani, Roberto (2003) A New General Method to Generate Random Modal Formulae for Testing Decision Procedures. UNSPECIFIED.

Sebastiani, Roberto and Tonetta, Stefano (2003) "More Deterministic" vs. "Smaller" Buechi Automata for Efficient LTL Model Checking. UNSPECIFIED. (Unpublished)

Audemard, Gilles and Bertoli, Piergiorgio and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2003) Efficiently Integrating Boolean Reasoning and Mathematical Solving. UNSPECIFIED. (Unpublished)

Audemard, Gilles and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2002) Bounded Model Checking for Timed Systems. UNSPECIFIED. (In Press)

Cimatti, Alessandro and Pistore, Marco and Roveri, Marco and Sebastiani, Roberto (2002) Improving the Encoding of LTL Model Checking into SAT. UNSPECIFIED. (In Press)

Cimatti, Alessandro and Giunchiglia, Enrico and Pistore, Marco and Roveri, Marco and Sebastiani, Roberto and Tacchella, Armando (2002) Integrating BDD-based and SAT-based Symbolic Model Checking. UNSPECIFIED. (In Press)

Audemard, Gilles and Bertoli, Piergiorgio and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2002) Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements. UNSPECIFIED.

Cimatti, Alessandro and Clarke, Edmund and Giunchiglia, Enrico and Giunchiglia, Fausto and Pistore, Marco and Roveri, Marco and Sebastiani, Roberto and Tacchella, Armando (2002) NuSMV2: an Open Source Tool for Symbolic Model Checking. UNSPECIFIED.

Giorgini, Paolo and Nicchiarelli, Eleonora and Mylopoulous, John and Sebastiani, Roberto (2002) Reasoning with Goal Models. UNSPECIFIED. (In Press)

Audemard, Gilles and Bertoli, Piergiorgio and Cimatti, Alessandro and Kornilowicz, Artur and Sebastiani, Roberto (2002) A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions. UNSPECIFIED. (In Press)