Searching for authors named "Roberto Bruttomesso" – sorted by Relevance.

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

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

7 documents found, showing 1 through 7.

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 8 (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
…-IZE? ON EFFICIENTLY HANDLING UNINTERPRETED FUNCTION SYMBOLS IN SMT (EUF U T) Roberto Bruttomesso, Alessandro Cimatti…
Cited by 3 (1 self) – Add To MetaCart

MathSAT: Tight integration of SAT and mathematical decision procedures
by Marco Bozzano, Roberto Bruttomesso, Ro Cimatti, Tommi Junttila, Stephan Schulz, Roberto Sebastiani — 2005 — Journal of Automated Reasoning
…MATHSAT: Tight Integration of SAT and Mathematical Decision Procedures ∗ Marco Bozzano, Roberto…
Cited by 16 (2 self) – Add To MetaCart

Efficient Satisfiability Modulo Theoriesvia Delayed Theory Combination
by Marco Bozzano, Roberto Bruttomesso, Ro Cimatti, Tommi Junttila, Silvio Ranise, Peter Van Rossum, Roberto Sebastiani
…, Roberto Bruttomesso1, Alessandro Cimatti1, Tommi Junttila2,Silvio Ranise3, Peter van Rossum4, and Roberto…
Add To MetaCart

The MathSAT 3 system
by Marco Bozzano, Roberto Bruttomesso, Ro Cimatti, Tommi Junttila, Peter Van Rossum, Stephan Schulz, Roberto Sebastiani — 2005 — Automated Deduction: Proceedings of the 20th International Conference, volume 3632 of Lecture Notes in Computer Science
…The MathSAT 3 System ⋆ Marco Bozzano 1 , Roberto Bruttomesso 1 , Alessandro Cimatti 1 , Tommi…
Cited by 14 (1 self) – Add To MetaCart

Efficient satisfiability modulo theories via delayed theory combination
by Marco Bozzano, Roberto Bruttomesso, Ro Cimatti, Tommi Junttila, Silvio Ranise, Peter Van Rossum, Roberto Sebastiani — 2005 — In Proc. CAV 2005, volume 3576 of LNCS
… , Roberto Bruttomesso 1 , Alessandro Cimatti 1 , Tommi Junttila 2 , Silvio Ranise 3 , Peter van Rossum 4…
Cited by 18 (9 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
…A Lazy and Layered SMT(BV ) Solver for Hard Industrial Verification Problems ⋆ Roberto Bruttomesso…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 7.

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