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