GIUNCHIGLIA, ENRICO

GIUNCHIGLIA, ENRICO  

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

Mostra records
Risultati 1 - 20 di 90 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
A knowledge Based System for Automatic 3D Scene Generation 1-gen-1992 P., Traverso; Armando, Alessandro; Giunchiglia, Enrico
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
Algorithms for Solving Satisfiability Problems with Qualitative Preferences 1-gen-2012 Giunchiglia, Enrico; Maratea, Marco
An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability 1-gen-2001 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
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
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.
Chapter 30. Reasoning with Quantified Boolean Formulas 1-gen-2021 Giunchiglia, Enrico; Marin, Paolo; Narizzano, Massimo
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas 1-gen-2006 Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando
Combining approaches for solving satisfiability problems with qualitative preferences 1-gen-2013 E., Di Rosa; Giunchiglia, Enrico
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.
Constraints and AI Planning 1-gen-2005 Alexander, Nareyek; EUGENE C., Freuder; Robert, Fourer; Giunchiglia, Enrico; ROBERT P., Goldman; HENRY A., Kautz; Jussi, Rintanen; Austin, Tate
Dependent and Independent Variables in Propositional Satisfiability 1-gen-2002 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
Editorial: Nonmonotonic Reasoning 1-gen-2004 Salem, Benferhat; Giunchiglia, Enrico