IRIS

GIUNCHIGLIA, ENRICO

GIUNCHIGLIA, ENRICO  

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

Mostra records
Risultati 1 - 20 di 98 (tempo di esecuzione: 0.04 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 Decision Procedure for the Boolean Combination of Difference Constraints 1-gen-2005 Armando, Alessandro; Castellini, Claudio; 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
A Subset-matching Size-bounded Cache for Testing Satisfiability in Modal Logics 1-gen-2001 Giunchiglia, Enrico; Tacchella, Armando
Algorithms for Solving Satisfiability Problems with Qualitative Preferences 1-gen-2012 Giunchiglia, Enrico; Maratea, Marco
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints 1-gen-2012 Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa
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
Answer Set Programming based on Propositional Satisfiability 1-gen-2006 Giunchiglia, Enrico; Lierler, Yuliya; 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-2003 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando