IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 45
Titolo Data di pubblicazione Autore(i) File
Towards an Efficient Library for SAT: a Manifesto 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando; M. Y., Vardi
Backjumping for Quantified Boolean Logic Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Learning for Quantified Boolean Logic Satisfiability 1-gen-2002 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Backjumping for Quantified Boolean Logic satisfiability 1-gen-2003 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Watched Data Structures for QBF Solvers 1-gen-2003 I. P., Gent; Giunchiglia, Enrico; Narizzano, Massimo; A. G. D., Rowley; Tacchella, Armando
Monotone Literals and Learning in QBF Reasoning 1-gen-2004 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
QuBE++: An efficient QBF solver 1-gen-2004 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
QBF Reasoning on Real-World Instances 1-gen-2005 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
The Second QBF Solvers Comparative Evaluation 1-gen-2005 Le Berre, D.; Narizzano, Massimo; Simon, L.; Tacchella, Armando
The Second QBF Solvers Comparative Evaluation 1-gen-2005 Le Berre, Daniel; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando
Quantifier Structure in search based procedures for QBFs 1-gen-2006 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Report of the Third QBF Solvers Evaluation 1-gen-2006 Narizzano, Massimo; Pulina, L.; Tacchella, Armando
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 1-gen-2006 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
The QBFEVAL Web Portal 1-gen-2006 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
Quantifier Structure in search based procedures for QBFs 1-gen-2007 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Ranking and Reputation Systems in the QBF Competition 1-gen-2007 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
Comparison of knowledge sharing strategies in a parallel QBF solver 1-gen-2009 P., Marin; Narizzano, Massimo; Giunchiglia, Enrico; M. D. T., Lewis; T., Schubert; B., Becker
Evaluating and certifying QBFs: A comparison of state-of-the-art tools 1-gen-2009 Narizzano, Massimo; Peschiera, C; Pulina, L; Tacchella, Armando
Mostrati risultati da 1 a 20 di 45
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