| 2026 | AAAI | A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint). | Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi |
| 2026 | KR | Optimal In-Station Train Dispatching via Symbolic Pattern Planning. | Matteo Cardellini, Enrico Giunchiglia, Davide Anguita, Carmelo Lofiego, Luca Oneto, Pietro Ratto |
| 2025 | AAAI | Temporal Numeric Planning with Patterns. | Matteo Cardellini, Enrico Giunchiglia |
| 2025 | IJCAI | Rolling in Classical Planning with Conditional Effects and Constraints. | Matteo Cardellini, Enrico Giunchiglia |
| 2025 | KR | Pushing the Envelope in Numeric Pattern Planning. | Matteo Cardellini, Enrico Giunchiglia |
| 2024 | AAAI | Symbolic Numeric Planning with Patterns. | Matteo Cardellini, Enrico Giunchiglia, Marco Maratea |
| 2023 | JELIA | Optimal Planning with Expressive Action Languages as Constraint Optimization. | Enrico Giunchiglia, Armando Tacchella |
| 2023 | RO-MAN | Nice and Nasty Theory of Mind for Social and Antisocial Robots. | Ilenia D'Angelo, Lorenzo Morocutti, Enrico Giunchiglia, Carmine Recchiuto, Antonio Sgorbissa |
| 2020 | IJCAI | Optimal Planning Modulo Theories. | Francesco Leofante, Enrico Giunchiglia, Erika brahm, Armando Tacchella |
| 2015 | ICSE | Automatic Test-Pattern Generation for Grey-Box Programs. | Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia |
| 2012 | ECAI | Planning as Quantified Boolean Formula. | Michael Cashmore, Maria Fox, Enrico Giunchiglia |
| 2011 | SAC | Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. | Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan |
| 2010 | CADE | Automatic generation of high quality test sets via CBMC. | Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu |
| 2010 | SAT | sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. | Enrico Giunchiglia, Paolo Marin, Massimo Narizzano |
| 2009 | ICST | Automatic Test Generation for Coverage Analysis of ERTMS Software. | Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina |
| 2009 | SAT | PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. | Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia |
| 2009 | TrustBus | Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. | Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta |
| 2008 | CP | Computing All Optimal Solutions in Satisfiability Problems with Preferences. | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
| 2008 | ECAI | A new Approach for Solving Satisfiability Problems with Qualitative Preferences. | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
| 2007 | AAAI | Planning as Satisfiability with Preferences. | Enrico Giunchiglia, Marco Maratea |
| 2006 | DATE | Quantifier structure in search based procedures for QBFs. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2006 | ECAI | Solving Optimization Problems with DLL. | Enrico Giunchiglia, Marco Maratea |
| 2006 | JELIA | optsat: A Tool for Solving SAT Related Optimization Problems. | Enrico Giunchiglia, Marco Maratea |
| 2005 | ICLP | On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). | Enrico Giunchiglia, Marco Maratea |
| 2004 | AAAI | SAT-Based Answer Set Programming. | Enrico Giunchiglia, Yuliya Lierler, Marco Maratea |
| 2004 | CP | Monotone Literals and Learning in QBF Reasoning. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2004 | FMCAD | QuBE++: An Efficient QBF Solver. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2004 | SAT | A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
| 2004 | SAT | A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. | Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea |
| 2004 | SAT | QBF Reasoning on Real-World Instances. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2004 | SAT | QBF Reasoning on Real-World Instances. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2003 | CP | (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
| 2003 | SAT | Watched Data Structures for QBF Solvers. | Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella |
| 2002 | AAAI | Learning for Quantified Boolean Logic Satisfiability. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2002 | CAV | NuSMV 2: An OpenSource Tool for Symbolic Model Checking. | Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella |
| 2002 | JELIA | Dependent and Independent Variables in Propositional Satisfiability. | Enrico Giunchiglia, Marco Maratea, Armando Tacchella |
| 2001 | CADE | Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. | Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin |
| 2001 | CADE | QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2001 | CAV | Benefits of Bounded Model Checking at an Industrial Setting. | Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi |
| 2001 | IJCAI | Backjumping for Quantified Boolean Logic Satisfiability. | Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella |
| 2000 | AAAI | Planning as Satisfiability in Nondeterministic Domains. | Paolo Ferraris, Enrico Giunchiglia |
| 2000 | CADE | System Description: *SAT: A Platform for the Development of Modal Decision Procedures. | Enrico Giunchiglia, Armando Tacchella |
| 2000 | KR | Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. | Enrico Giunchiglia |
| 2000 | TABLEAUX | A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. | Enrico Giunchiglia, Armando Tacchella |
| 1998 | AAAI | An Action Language Based on Causal Explanation: Preliminary Report. | Enrico Giunchiglia, Vladimir Lifschitz |
| 1998 | AAAI | Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. | Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani |
| 1998 | AIMSA | Planning via Model Checking in Deterministic Domains: Preliminary Report. | Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino |
| 1998 | KR | More Evaluation of Decision Procedures for Modal Logics. | Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella |
| 1996 | KR | Determining Ramifications in the Situation Calculus. | Enrico Giunchiglia |
| 1995 | IJCAI | Dependent Fluents. | Enrico Giunchiglia, Vladimir Lifschitz |
| 1993 | IJCAI | Non-Omniscient Belief as Context-Based Resoning. | Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione |
| 1993 | ISMIS | Multi-Context Systems as a Tool to Model Temporal Evolution. | Mauro Di Manzo, Enrico Giunchiglia |
| 1992 | AIMSA | A Knowledge Based System for Automatic 3D Scene. | Paolo Traverso, Alessandro Armando, Enrico Giunchiglia |
| 1988 | ECAI | Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. | Fausto Giunchiglia, Enrico Giunchiglia |