 | 2009 |
|---|
| 9 |       | Alessandro Cimatti,
Alberto Griggio,
Roberto Sebastiani:
Interpolant Generation for UTVPI.
CADE 2009: 167-182 |
| 8 | | Dirk Beyer,
Alessandro Cimatti,
Alberto Griggio,
M. Erkan Keremoglu,
Roberto Sebastiani:
Software Model Checking via Large-Block Encoding
CoRR abs/0904.4709: (2009) |
| 7 | | Alessandro Cimatti,
Alberto Griggio,
Roberto Sebastiani:
Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
CoRR abs/0906.4492: (2009) |
| 2008 |
|---|
| 6 | | Roberto Bruttomesso,
Alessandro Cimatti,
Anders Franzén,
Alberto Griggio,
Roberto Sebastiani:
The MathSAT 4SMT Solver.
CAV 2008: 299-303 |
| 5 | | Alessandro Cimatti,
Alberto Griggio,
Roberto Sebastiani:
Efficient Interpolant Generation in Satisfiability Modulo Theories.
TACAS 2008: 397-412 |
| 2007 |
|---|
| 4 | | Roberto Bruttomesso,
Alessandro Cimatti,
Anders Franzén,
Alberto Griggio,
Ziyad Hanna,
Alexander Nadel,
Amit Palti,
Roberto Sebastiani:
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems.
CAV 2007: 547-560 |
| 3 | | Alessandro Cimatti,
Alberto Griggio,
Roberto Sebastiani:
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories.
SAT 2007: 334-339 |
| 2006 |
|---|
| 2 | | Roberto Bruttomesso,
Alessandro Cimatti,
Anders Franzén,
Alberto Griggio,
Roberto Sebastiani:
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis.
LPAR 2006: 527-541 |
| 1 | | Roberto Bruttomesso,
Alessandro Cimatti,
Anders Franzén,
Alberto Griggio,
Alessandro Santuari,
Roberto Sebastiani:
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT).
LPAR 2006: 557-571 |
