BibSonomy :: author  ::

bookmarks

publications

(11)

• The MathSAT 4SMT Solver.
  Roberto Bruttomesso and Alessandro Cimatti and Anders Franzén and Alberto Griggio and Roberto Sebastiani CAV 299-303 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Verifying Heap-Manipulating Programs in an SMT Framework.
  Zvonimir Rakamaric and Roberto Bruttomesso and Alan J. Hu and Alessandro Cimatti ATVA 237-252 (2007)
  to dblp by dblp on 2007-11-07 00:00:00
  | URL | BibTeX  
• A Lazy and Layered SMT($\mathcalBV$) Solver for Hard Industrial Verification Problems.
  Roberto Bruttomesso and Alessandro Cimatti and Anders Franzén and Alberto Griggio and Ziyad Hanna and Alexander Nadel and Amit Palti and Roberto Sebastiani CAV 547-560 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Efficient theory combination via boolean search.
  Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi A. Junttila and Silvio Ranise and Peter van Rossum and Roberto Sebastiani Inf. Comput. 204 1493-1525 (2006)
  to dblp by dblp on 2007-02-13 00:00:00
  | URL | BibTeX  
• MathSAT: Tight Integration of SAT and Mathematical Decision Procedures.
  Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi A. Junttila and Peter van Rossum and Stephan Schulz and Roberto Sebastiani J. Autom. Reasoning 35 265-293 (2005)
  to dblp by dblp on 2007-02-09 00:00:00
  | URL | BibTeX  
• To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF ÈT).
  Roberto Bruttomesso and Alessandro Cimatti and Anders Franzén and Alberto Griggio and Alessandro Santuari and Roberto Sebastiani LPAR 557-571 (2006)
  to dblp by dblp on 2006-11-29 00:00:00
  | URL | BibTeX  
• Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis.
  Roberto Bruttomesso and Alessandro Cimatti and Anders Franzén and Alberto Griggio and Roberto Sebastiani LPAR 527-541 (2006)
  to dblp by dblp on 2006-11-29 00:00:00
  | URL | BibTeX  
• Encoding RTL Constructs for MathSAT: a Preliminary Report.
  Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Anders Franzén and Ziyad Hanna and Zurab Khasidashvili and Amit Palti and Roberto Sebastiani Electr. Notes Theor. Comput. Sci. 144 3-14 (2006)
  to dblp by dblp on 2006-02-20 00:00:00
  | URL | BibTeX  
• The MathSAT 3 System.
  Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi A. Junttila and Peter van Rossum and Stephan Schulz and Roberto Sebastiani CADE 315-321 (2005)
  to dblp by dblp on 2005-10-07 00:00:00
  | URL | BibTeX  
• Efficient Satisfiability Modulo Theories via Delayed Theory Combination.
  Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi A. Junttila and Silvio Ranise and Peter van Rossum and Roberto Sebastiani CAV 335-349 (2005)
  to dblp by dblp on 2005-07-28 00:00:00
  | URL | BibTeX