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)

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)

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.

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)

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.

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)