IRIS

GIUNCHIGLIA, ENRICO

GIUNCHIGLIA, ENRICO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 54 (tempo di esecuzione: 0.018 secondi).
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 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
Evaluating search heuristics and optimization techniques in propositional satisfiability 1-gen-2001 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando; Zambonin, Davide