Search the dblp DataBase

Publications of Author

1. Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani
   Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis. [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:527-541 [Conf]
   
2. 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). [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:557-571 [Conf]
   
3. Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani
   Encoding RTL Constructs for MathSAT: a Preliminary Report. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:3-14 [Journal]
   
4. Anders Franzén
   Using Satisfiability Modulo Theories for Inductive Verification of Lustre Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:19-33 [Journal]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   CAV, 2007, pp:547-560 [Conf]
   
6. 
   The MathSAT 4SMT Solver. [Citation Graph (, )][DBLP]
   
   
7. 
   Tighter integration of BDDs and SMT for Predicate Abstraction. [Citation Graph (, )][DBLP]
   
   
8. 
   Computing Predicate Abstractions by Integrating BDDs and SMT Solvers. [Citation Graph (, )][DBLP]
   
   
9. 
   Satisfiability Modulo the Theory of Costs: Foundations and Applications. [Citation Graph (, )][DBLP]
   
   
10. 
    Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. [Citation Graph (, )][DBLP]