Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 106
Titolo Data di pubblicazione Autore(i) File
Report of the Third QBF Solvers Evaluation 1-gen-2006 Narizzano, M; Pulina, Luca; Tacchella, A.
The QBFEVAL Web Portal 1-gen-2006 Narizzano, M; Pulina, Luca; Tacchella, A.
Empirical Evaluation of Scoring Methods 1-gen-2006 Pulina, Luca
Ranking and Reputation Systems in the QBF Competition 1-gen-2007 Narizzano, M; Pulina, Luca; Tacchella, A.
A Multi-engine Solver for Quantified Boolean Formulas 1-gen-2007 Pulina, Luca; Tacchella, A.
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings 1-gen-2008 Pulina, Luca; Tacchella, A.
QuBIS: An (In)complete Solver for Quantified Boolean Formulas 1-gen-2008 Pulina, Luca; Tacchella, A.
Evaluating and Certifying QBFs: a comparison of state-of-the-art tools 1-gen-2009 Narizzano, M; Peschiera, C; Pulina, Luca; Tacchella, A.
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas 1-gen-2009 Pulina, Luca; Tacchella, A.
A structural approach to reasoning with quantified Boolean formulas 1-gen-2009 Pulina, Luca; Tacchella, A.
Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers 1-gen-2009 Kontchakov, R; Pulina, Luca; Sattler, U; Schneider, T; Selmer, P; Wolter, F; Zakharyaschev, M.
A self-adaptive multi-engine solver for quantified Boolean formulas 1-gen-2009 Pulina, Luca; Tacchella, A.
Hard QBF Encodings Made Easy: Dream or Reality? 1-gen-2009 Pulina, Luca; Tacchella, A.
AQME’10 System Description 1-gen-2010 Pulina, Luca; Tacchella, A.
The Seventh QBF Solvers Evaluation (QBFEVAL’10) 1-gen-2010 Peschiera, C.; Pulina, Luca; Tacchella, A.; Bubeck, U.; Kullmann, O.; Lynce, I.
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing 1-gen-2010 Pulina, Luca; Tacchella, A.
Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning 1-gen-2010 Pulina, Luca
Safe Learning with Real-Time Constraints: a Case Study 1-gen-2010 Metta, G; Natale, L; Pathak, S; Pulina, Luca; Tacchella, A.
Safe and Effective Learning: a Case Study 1-gen-2010 Metta, G; Natale, L; Pathak, S; Pulina, Luca; Tacchella, A.
Collaborative Expert Portfolio Management 1-gen-2010 Stern, D; Samulowitz, H; Herbrich, R; Graepel, T; Pulina, Luca; Tacchella, A.
Mostrati risultati da 1 a 20 di 106
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