GIUNCHIGLIA, ENRICO
GIUNCHIGLIA, ENRICO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver
2003-01-01 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
A generate-and-test approach for computing "optimal" plans in SAT-based planning
2009-01-01 Giunchiglia, Enrico; Maratea, Marco
A knowledge Based System for Automatic 3D Scene Generation
1992-01-01 P., Traverso; Armando, Alessandro; Giunchiglia, Enrico
A new Approach for Solving Satisfiability Problems with Qualitative Preferences
2008-01-01 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences
2010-01-01 Giunchiglia, Enrico; Maratea, Marco
A SAT-based polynomial space algorithm for answer set programming
2004-01-01 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
A simple proof-theoretic characterization of Stable Models
2023-01-01 Giunchiglia, Enrico; Maratea, M.; Mochi, M.
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics
2000-01-01 Giunchiglia, Enrico; Tacchella, Armando
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability
2001-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
An empirical perspective on ten years of QBF solving
2015-01-01 Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming
2005-01-01 Giunchiglia, Enrico; Maratea, Marco
Automatic Test Generation for Coverage Analysis of ERTMS Software
2009-01-01 D., Angeletti; Giunchiglia, Enrico; Narizzano, Massimo; A., Puddu; S., Sabina
Automatic Test Generation for Coverage Analysis Using CBMC
2009-01-01 Angeletti, DAMIANO DANILO; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; S., Sabina
Automatic Test-Pattern Generation for Grey-Box Programs
2015-01-01 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico
Backjumping for Quantified Boolean Logic Satisfiability
2001-01-01 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Benefits of bounded model checking at an industrial setting
2001-01-01 Copty, F.; Fix, L.; Fraer, R.; Giunchiglia, Enrico; Kamhi, G.; Tacchella, Armando; Vardi, M. Y.
Comparison of knowledge sharing strategies in a parallel QBF solver
2009-01-01 P., Marin; Narizzano, Massimo; Giunchiglia, Enrico; M. D. T., Lewis; T., Schubert; B., Becker
Computing All Optimal Solutions in Satisfiability Problems with Preferences
2008-01-01 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
Conditional behavior trees: Definition, executability, and applications
2019-01-01 Giunchiglia, E.; Colledanchise, M.; Natale, L.; Tacchella, A.
Dependent and Independent Variables in Propositional Satisfiability
2002-01-01 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver | 1-gen-2003 | Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando | |
| A generate-and-test approach for computing "optimal" plans in SAT-based planning | 1-gen-2009 | Giunchiglia, Enrico; Maratea, Marco | |
| A knowledge Based System for Automatic 3D Scene Generation | 1-gen-1992 | P., Traverso; Armando, Alessandro; Giunchiglia, Enrico | |
| A new Approach for Solving Satisfiability Problems with Qualitative Preferences | 1-gen-2008 | Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco | |
| A Pseudo-Boolean approach for solving planning problems with IPC simple preferences | 1-gen-2010 | Giunchiglia, Enrico; Maratea, Marco | |
| A SAT-based polynomial space algorithm for answer set programming | 1-gen-2004 | Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco | |
| A simple proof-theoretic characterization of Stable Models | 1-gen-2023 | Giunchiglia, Enrico; Maratea, M.; Mochi, M. | |
| A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics | 1-gen-2000 | Giunchiglia, Enrico; Tacchella, Armando | |
| An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability | 1-gen-2001 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| An empirical perspective on ten years of QBF solving | 1-gen-2015 | Marin, Paolo; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Giunchiglia, Enrico | |
| An Experimental Study of Search Strategies and Heuristics in Answer Set Programming | 1-gen-2005 | Giunchiglia, Enrico; Maratea, Marco | |
| Automatic Test Generation for Coverage Analysis of ERTMS Software | 1-gen-2009 | D., Angeletti; Giunchiglia, Enrico; Narizzano, Massimo; A., Puddu; S., Sabina | |
| Automatic Test Generation for Coverage Analysis Using CBMC | 1-gen-2009 | Angeletti, DAMIANO DANILO; Giunchiglia, Enrico; Narizzano, Massimo; Puddu, Alessandra; S., Sabina | |
| Automatic Test-Pattern Generation for Grey-Box Programs | 1-gen-2015 | Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico | |
| Backjumping for Quantified Boolean Logic Satisfiability | 1-gen-2001 | Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando | |
| Benefits of bounded model checking at an industrial setting | 1-gen-2001 | Copty, F.; Fix, L.; Fraer, R.; Giunchiglia, Enrico; Kamhi, G.; Tacchella, Armando; Vardi, M. Y. | |
| 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 | |
| Computing All Optimal Solutions in Satisfiability Problems with Preferences | 1-gen-2008 | Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco | |
| Conditional behavior trees: Definition, executability, and applications | 1-gen-2019 | Giunchiglia, E.; Colledanchise, M.; Natale, L.; Tacchella, A. | |
| Dependent and Independent Variables in Propositional Satisfiability | 1-gen-2002 | Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando |