Bruttomesso, Roberto

Bruttomesso, Roberto  

Mostra records
Risultati 1 - 14 di 14 (tempo di esecuzione: 0.031 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A lazy and layered SMT(BV) solver for hard industrial verification problems 1-gen-2007 Bruttomesso, RobertoFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto +
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 1-gen-2005 Bruttomesso, RobertoCimatti, AlessandroSebastiani, Roberto +
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 1-gen-2006 Bruttomesso, RobertoCimatti, AlessandroGriggio, AlbertoSebastiani, Roberto +
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 1-gen-2009 Bruttomesso, RobertoCimatti, AlessandroGriggio, AlbertoSebastiani, Roberto +
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 1-gen-2006 Bruttomesso, RobertoFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto +
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 1-gen-2009 Bruttomesso, RobertoCimatti, AlessandroGriggio, Alberto +
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 1-gen-2005 Bruttomesso, RobertoS. RaniseSebastiani, Roberto +
Efficient theory combination via Boolean search 1-gen-2006 Bruttomesso, RobertoCimatti, AlessandroS. RaniseSebastiani, Roberto +
Encoding RTL Constructs for MathSAT: a Preliminary Report 1-gen-2006 Bruttomesso, RobertoFranzen, Per AndersSebastiani, Roberto +
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 1-gen-2005 Bruttomesso, RobertoCimatti, AlessandroSebastiani, Roberto +
The MathSAT 3 System 1-gen-2005 Bruttomesso, RobertoSebastiani, Roberto +
The MathSAT 4 SMT Solver 1-gen-2008 Bruttomesso, RobertoFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto +
To Ackermann-ize or Not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT (EUF ÈT) 1-gen-2006 Bruttomesso, RobertoFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto +
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 1-gen-2006 Bruttomesso, RobertoCimatti, AlessandroGriggio, AlbertoSantuari, AlessandroSebastiani, Roberto +