- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c20 |      | Alessandro Cimatti, Alberto Griggio, Bastiaan Joost Schaafsma, Roberto Sebastiani: The MathSAT5 SMT Solver. TACAS 2013: 93-107 |
| c19 | | Martin Brain, Vijay D'Silva, Leopold Haller, Alberto Griggio, Daniel Kroening: An Abstract Interpretation of DPLL(T). VMCAI 2013: 455-475 |
| 2012 | ||
| j5 | | Alberto Griggio: A Practical Approach to Satisability Modulo Linear Integer Arithmetic. JSAT 8(1/2): 1-27 (2012) |
| c18 | | Roberto Bruttomesso, Alberto Griggio: Broadening the Scope of SMT-COMP: the Application Track. COMPARE 2012: 18-27 |
| c17 | | Raian Ali, Alberto Griggio, Anders Franzén, Fabiano Dalpiaz, Paolo Giorgini: Optimizing Monitoring Requirements in Self-adaptive Systems. BMMDS/EMMSAD 2012: 362-377 |
| c16 | | |
| c15 | | Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening: Deciding floating-point logic with systematic abstraction. FMCAD 2012: 131-140 |
| 2011 | ||
| j4 | | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories. J. Artif. Intell. Res. (JAIR) 40: 701-728 (2011) |
| c14 | | Alessandro Cimatti, Alberto Griggio, Andrea Micheli, Iman Narasamdya, Marco Roveri: Kratos - A Software Model Checker for SystemC. CAV 2011: 310-316 |
| c13 | | |
| c12 | | Alberto Griggio, Quoc-Sang Phan, Roberto Sebastiani, Silvia Tomasi: Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT. FroCoS 2011: 163-178 |
| c11 | | Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani: Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. TACAS 2011: 143-157 |
| 2010 | ||
| j3 | | Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani: Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic. Logical Methods in Computer Science 8(3) (2010) |
| j2 | | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Efficient generation of craig interpolants in satisfiability modulo theories. ACM Trans. Comput. Log. 12(1): 7 (2010) |
| c10 | | Alessandro Cimatti, Anders Franzén, Alberto Griggio, Krishnamani Kalyanasundaram, Marco Roveri: Tighter integration of BDDs and SMT for Predicate Abstraction. DATE 2010: 1707-1712 |
| c9 | | Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani, Cristian Stenico: Satisfiability Modulo the Theory of Costs: Foundations and Applications. TACAS 2010: 99-113 |
| 2009 | ||
| j1 | | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani: Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis. Ann. Math. Artif. Intell. 55(1-2): 63-99 (2009) |
| c8 | | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Interpolant Generation for UTVPI. CADE 2009: 167-182 |
| c7 | | Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani: Software model checking via large-block encoding. FMCAD 2009: 25-32 |
| i2 | | Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani: Software Model Checking via Large-Block Encoding. CoRR abs/0904.4709 (2009) |
| i1 | | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories. CoRR abs/0906.4492 (2009) |
| 2008 | ||
| c6 | | Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Roberto Sebastiani: The MathSAT 4SMT Solver. CAV 2008: 299-303 |
| c5 | | Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani: Efficient Interpolant Generation in Satisfiability Modulo Theories. TACAS 2008: 397-412 |
| 2007 | ||
| c4 | | 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 |
| c3 | | 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 | ||
| c2 | | 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 |
| c1 | | 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 |
Colors in the list of coauthors
Last update Sat May 25 19:05:37 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page