Searching for authors named "Roberto Bruttomesso" – sorted by Relevance.
-
Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: A comparative analysis
- 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
- -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
- 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
- , Roberto Bruttomesso1, Alessandro Cimatti1, Tommi Junttila2,Silvio Ranise3, Peter van Rossum4, and Roberto
- Add To MetaCart
-
The MathSAT 3 system
- 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
- , 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
- A Lazy and Layered SMT(BV ) Solver for Hard Industrial Verification Problems ⋆ Roberto Bruttomesso
- Cited by 4 (1 self) – Add To MetaCart

