Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 76
Titolo Anno di pubblicazione Autori Unitn File
Precise Analysis of pi-calculus in Cubic Time 1-gen-2004 GRIGGIO A +
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 +
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis 1-gen-2006 Bruttomesso, RobertoFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto +
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 1-gen-2007 Cimatti, AlessandroSebastiani, RobertoGriggio, Alberto
Efficient Interpolant Generation in Satisfiability Modulo Theories 1-gen-2007 Cimatti, AlessandroSebastiani, RobertoGriggio, Alberto
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories 1-gen-2007 Cimatti, AlessandroGriggio, AlbertoSebastiani, Roberto
A lazy and layered SMT(BV) solver for hard industrial verification problems 1-gen-2007 Bruttomesso, RobertoFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto +
Efficient Interpolant Generation in Satisfiability Modulo Theories 1-gen-2008 Cimatti, AlessandroGriggio, AlbertoSebastiani, Roberto
The MathSAT 4 SMT Solver 1-gen-2008 Bruttomesso, RobertoFranzen, Per AndersGriggio, AlbertoSebastiani, Roberto +
An Effective SMT Engine for Formal Verification 1-gen-2009 Griggio, Alberto
An Effective SMT Engine for Formal Verification 1-gen-2009 Griggio, Alberto
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis. Extended version 1-gen-2009 Bruttomesso, RobertoCimatti, AlessandroGriggio, Alberto +
Software Model Checking via Large-Block Encoding. 1-gen-2009 Cimatti, AlessandroGriggio, AlbertoSebastiani, Roberto +
Software Model Checking via Large-Block Encoding 1-gen-2009 Cimatti, AlessandroSebastiani, RobertoGriggio, Alberto +
Stochastic Local Search for SMT: A Preliminary Report 1-gen-2009 Tomasi, SilviaSebastiani, RobertoGriggio, Alberto
Modeling and Analyzing Contextual Requirements 1-gen-2009 Franzen, AndersGiorgini, PaoloGriggio, AlbertoAli, Raian
Delayed Theory Combination vs. Nelson-oppen for satisfiability modulo theories: A comparative analysis 1-gen-2009 Bruttomesso, RobertoCimatti, AlessandroGriggio, AlbertoSebastiani, Roberto +
Tighter Integration of BDD and SMT for Predicate Abstraction 1-gen-2010 Alessandro CimattiAlberto GriggioMarco Roveri +
Mostrati risultati da 1 a 20 di 76
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