IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 115
Titolo Data di pubblicazione Autore(i) File
QuBE++: An efficient QBF solver 1-gen-2004 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers 1-gen-2004 Le Berre, D.; Simon, L.; Tacchella, Armando
Monotone Literals and Learning in QBF Reasoning 1-gen-2004 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
SAT-Based Decision Procedures for Automated Reasoning: a Unifying Perspective 1-gen-2005 Armando, Alessandro; Castellini, C.; Giunchiglia, Enrico; Giunchiglia, F.; Tacchella, Armando
The Second QBF Solvers Comparative Evaluation 1-gen-2005 Le Berre, D.; Narizzano, Massimo; Simon, L.; Tacchella, Armando
QBF Reasoning on Real-World Instances 1-gen-2005 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-2006 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
A Multi-engine Solver for Quantified Boolean Formulas 1-gen-2007 Pulina, L; Tacchella, Armando
Ranking and Reputation Systems in the QBF Competition 1-gen-2007 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
Quantifier Structure in search based procedures for QBFs 1-gen-2007 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Automating functional genomics data analysis: a use case with an interdisciplinary approach 1-gen-2008 Balbi, Alberto; Corradi, Luca; Fato, MARCO MASSIMO; Mirisola, Valentina; Pfeffer, Ulrich; Porro, Ivan; Romano, Paolo; Tacchella, Armando
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings 1-gen-2008 Pulina, Luca; Tacchella, Armando
QuBIS: An (In)complete Solver for Quantified Boolean Formulas 1-gen-2008 Pulina, Luca; Tacchella, Armando
Un sistema peer-to-peer per la ricerca e la condivisione di Learning Object 1-gen-2009 Coccoli, Mauro; G., Geloso; A., PRÀ LEVIS; Tacchella, Armando
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas 1-gen-2009 Pulina, Luca; Tacchella, Armando
Hard QBF Encodings made easy: Dream or Reality? 1-gen-2009 Pulina, Luca; Tacchella, Armando
An Ontology-Based Condition Analyzer for Fault Classification on Railway Vehicles 1-gen-2009 DE AMBROSI, Cristina; Ghersi, Chiara; Tacchella, Armando
Mostrati risultati da 21 a 40 di 115
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