2009 |
7 | EE | Dirk Beyer,
Alessandro Cimatti,
Alberto Griggio,
M. Erkan Keremoglu,
Roberto Sebastiani:
Software Model Checking via Large-Block Encoding
CoRR abs/0904.4709: (2009) |
2008 |
6 | EE | Roberto Bruttomesso,
Alessandro Cimatti,
Anders Franzén,
Alberto Griggio,
Roberto Sebastiani:
The MathSAT 4SMT Solver.
CAV 2008: 299-303 |
5 | EE | Alessandro Cimatti,
Alberto Griggio,
Roberto Sebastiani:
Efficient Interpolant Generation in Satisfiability Modulo Theories.
TACAS 2008: 397-412 |
2007 |
4 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |