Searching for authors named "Alberto Griggio" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

2007, ‘A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
by Ro Cimatti, Alberto Griggio, Roberto Sebastiani — 2007 — In: Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT-2007
… Cimatti 1 , Alberto Griggio 2 , and Roberto Sebastiani 2 1 ITC-IRST, Povo, Trento, Italy. cimatti@(email omitted); 2…
Cited by 1 (0 self) – Add To MetaCart

Efficient Interpolant Generation in Satisfiability Modulo Theories ⋆
by Ro Cimatti, Alberto Griggio, Roberto Sebastiani, Ro Cimatti, Alberto Griggio, Roberto Sebastiani — 2007
… Generation in Satisfiability Modulo Theories ⋆ Alessandro Cimatti 1 , Alberto Griggio 2 , and Roberto…
Cited by 2 (0 self) – Add To MetaCart

Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: A comparative analysis
by Roberto Bruttomesso, Ro Cimatti, Anders Franzen, Alberto Griggio, Roberto Sebastiani — 2006 — In Proc. LPAR’06, volume 4246 of LNAI
… Analysis ⋆ Roberto Bruttomesso 1 , Alessandro Cimatti 1 , Anders Franzen 1,2 , Alberto Griggio 2…
Cited by 7 (5 self) – Add To MetaCart

To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function
by Roberto Bruttomesso, Ro Cimatti, Anders Franzén, Alberto Griggio, Ro Santuari, Roberto Sebastiani, Roberto Bruttomesso, Ro Cimatti, Anders Franzén, Alberto Griggio, Ro Santuari, Roberto Sebastiani — 2006 — Symbols in UF(E). In: LPAR. (2006) 557–571
…, Anders Franzén Alberto Griggio, Alessandro Santuari, and Roberto Sebastiani May 2006 Technical Report…
Cited by 3 (1 self) – Add To MetaCart

A lazy and layered SMT(BV) solver for hard industrial verification problems
by Roberto Bruttomesso, Ro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Er Nadel, Amit Palti, Roberto Sebastiani — 2007 — In Computer Aided Verification (CAV), LNCS
… 1 , Alessandro Cimatti 1 , Anders Franzén 1,2 , Alberto Griggio 2 , Ziyad Hanna 3 , Alexander Nadel…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB