Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 14 di 14
Titolo Anno di pubblicazione Autori Unitn File
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 1-gen-2005 Bruttomesso, RobertoS. RaniseSebastiani, Roberto +
The MathSAT 3 System 1-gen-2005 Bruttomesso, RobertoSebastiani, Roberto +
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 1-gen-2005 Bruttomesso, RobertoCimatti, AlessandroSebastiani, Roberto +
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures 1-gen-2005 Bruttomesso, RobertoCimatti, AlessandroSebastiani, 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 +
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 1-gen-2006 Bruttomesso, RobertoCimatti, AlessandroGriggio, 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 +
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 +
A lazy and layered SMT(BV) solver for hard industrial verification problems 1-gen-2007 Bruttomesso, RobertoFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto +
The MathSAT 4 SMT Solver 1-gen-2008 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 +
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 1-gen-2009 Bruttomesso, RobertoCimatti, AlessandroGriggio, AlbertoSebastiani, Roberto +
Mostrati risultati da 1 a 14 di 14
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile