BibSonomy :: author  ::

bookmarks

publications

(8)

• 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  
• Efficient Interpolant Generation in Satisfiability Modulo Theories.
  Alessandro Cimatti and Alberto Griggio and Roberto Sebastiani TACAS 397-412 (2008)
  to dblp by dblp on 2008-04-21 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  
• A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories.
  Alessandro Cimatti and Alberto Griggio and Roberto Sebastiani SAT 334-339 (2007)
  to dblp by dblp on 2007-07-03 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  
• Precise Analysis of p-Calculus in Cubic Time.
  Livio Colussi and Gilberto Filé and A. Griggio IFIP TCS 317-332 (2004)
  to dblp by dblp on 2005-01-25 00:00:00
  | URL | BibTeX  
• Getting Global Performance through Local Information in PaSo-Team'98.
  Enrico Pagello and Federico Montesello and Francesco Garelli and F. Candon and P. Chioetto and S. Griggio RoboCup 384-389 (1998)
  to dblp by dblp on 2003-06-30 00:00:00
  | URL | BibTeX