Bruttomesso, Roberto
Bruttomesso, Roberto
A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems
2007-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Ziyad, Hanna; Alexander, Nadel; Amit, Palti; Sebastiani, Roberto
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; Rossum Peter, Van; S. P., Schulz; Sebastiani, Roberto
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version
2009-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
Efficient Satisfiability Modulo Theories via Delayed Theory Combination
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto
Efficient theory combination via boolean search
2006-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto
Efficient Theory Combination via Boolean Search
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto
Encoding RTL Constructs for Mathsat: A preliminary report
2006-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Ziyad, Hanna; Zurab, Khasidashvili; Amit, Palti; Sebastiani, Roberto
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; R., Peter van; S. P., Schulz; Sebastiani, Roberto
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Peter van, Rossum; Stephan, Schulz; Sebastiani, Roberto
The MathSAT 4SMT Solver
2008-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto
The MathSAT Solver - a comparative evaluation
2004-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Sebastiani, Roberto
The Mathsat3 System
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Peter van, Rossum; Stephan Peter, Schulz; Sebastiani, Roberto
Verifying Heap-Manipulating Programs in an SMT Framework
2007-01-01 Zvonimir, Rakamaric; Bruttomesso, Roberto; Alan J., Hu; Cimatti, Alessandro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Lazy and Layered SMT ({BV}) Solver for Hard Industrial Verification Problems | 1-gen-2007 | Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Ziyad, Hanna; Alexander, Nadel; Amit, Palti; Sebastiani, Roberto | |
| An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; Rossum Peter, Van; S. P., Schulz; Sebastiani, Roberto | |
| Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version | 1-gen-2009 | Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto | |
| Efficient Satisfiability Modulo Theories via Delayed Theory Combination | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto | |
| Efficient theory combination via boolean search | 1-gen-2006 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto | |
| Efficient Theory Combination via Boolean Search | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto | |
| Encoding RTL Constructs for Mathsat: A preliminary report | 1-gen-2006 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Ziyad, Hanna; Zurab, Khasidashvili; Amit, Palti; Sebastiani, Roberto | |
| MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; R., Peter van; S. P., Schulz; Sebastiani, Roberto | |
| Mathsat: Tight Integration of SAT and Mathematical Decision Procedures | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Peter van, Rossum; Stephan, Schulz; Sebastiani, Roberto | |
| The MathSAT 4SMT Solver | 1-gen-2008 | Bruttomesso, Roberto; Cimatti, Alessandro; Anders, Franzen; Griggio, Alberto; Sebastiani, Roberto | |
| The MathSAT Solver - a comparative evaluation | 1-gen-2004 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Sebastiani, Roberto | |
| The Mathsat3 System | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Peter van, Rossum; Stephan Peter, Schulz; Sebastiani, Roberto | |
| Verifying Heap-Manipulating Programs in an SMT Framework | 1-gen-2007 | Zvonimir, Rakamaric; Bruttomesso, Roberto; Alan J., Hu; Cimatti, Alessandro |