Enrico Giunchiglia

134 papers A* 19A 18B 9C 1Misc 3Journal 43Unranked 38

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint). AAAI Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi
2026	J	`jnl`	Symbolic Pattern Temporal Numeric Planning with Intermediate Conditions and Effects. CoRR Matteo Cardellini, Enrico Giunchiglia
2026	J	`jnl`	Symbolic pattern planning. Artif. Intell. Matteo Cardellini, Enrico Giunchiglia, Marco Maratea
2025	J	`jnl`	A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments. Artif. Intell. Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi
2025	A*	`conf`	Pushing the Envelope in Numeric Pattern Planning. KR Matteo Cardellini, Enrico Giunchiglia
2025	A*	`conf`	Rolling in Classical Planning with Conditional Effects and Constraints. IJCAI Matteo Cardellini, Enrico Giunchiglia
2025	A*	`conf`	Temporal Numeric Planning with Patterns. AAAI Matteo Cardellini, Enrico Giunchiglia
2024	A*	`conf`	Symbolic Numeric Planning with Patterns. AAAI Matteo Cardellini, Enrico Giunchiglia, Marco Maratea
2024	J	`jnl`	Temporal Numeric Planning with Patterns. CoRR Matteo Cardellini, Enrico Giunchiglia
2023	—	`conf`	A Simple Proof-Theoretic Characterization of Stable Models. IPS-RCRA-SPIRIT@AI*IA Enrico Giunchiglia, Marco Maratea, Marco Mochi
2023	J	`jnl`	Causal Laws and Multi-Valued Fluents. CoRR Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Hudson Turner
2023	B	`conf`	Nice and Nasty Theory of Mind for Social and Antisocial Robots. RO-MAN Ilenia D'Angelo, Lorenzo Morocutti, Enrico Giunchiglia, Carmine Recchiuto, Antonio Sgorbissa
2023	B	`conf`	Optimal Planning with Expressive Action Languages as Constraint Optimization. JELIA Enrico Giunchiglia, Armando Tacchella
2023	J	`jnl`	Symbolic Numeric Planning with Patterns. CoRR Matteo Cardellini, Enrico Giunchiglia, Marco Maratea
2021	—	`ch.`	Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
2020	A*	`conf`	Optimal Planning Modulo Theories. IJCAI Francesco Leofante, Enrico Giunchiglia, Erika Ábrahám, Armando Tacchella
2018	J	`jnl`	Translation-based approaches for solving disjunctive temporal problems with preferences. Constraints An Int. J. Enrico Giunchiglia, Marco Maratea, Luca Pulina
2016	J	`jnl`	Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Fundam. Informaticae Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
2015	—	`conf`	An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia
2015	—	`conf`	Automatic Test-Pattern Generation for Grey-Box Programs. AST@ICSE Ali Khalili, Massimo Narizzano, Armando Tacchella, Enrico Giunchiglia
2013	J	`jnl`	Combining approaches for solving satisfiability problems with qualitative preferences. AI Commun. Emanuele Di Rosa, Enrico Giunchiglia
2013	A*	`conf`	Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach. ICAPS Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta
2013	A*	`conf`	Partially Grounded Planning as Quantified Boolean Formula. ICAPS Michael Cashmore, Maria Fox, Enrico Giunchiglia
2012	—	`conf`	Algorithms for Solving Satisfiability Problems with Qualitative Preferences. Correct Reasoning Enrico Giunchiglia, Marco Maratea
2012	J	`jnl`	An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints. J. Comput. Syst. Sci. Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Serena Elisa Ponta
2012	A	`conf`	Planning as Quantified Boolean Formula. ECAI Michael Cashmore, Maria Fox, Enrico Giunchiglia
2011	J	`jnl`	Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas CoRR Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2011	J	`jnl`	Introducing Preferences in Planning as Satisfiability. J. Log. Comput. Enrico Giunchiglia, Marco Maratea
2011	Misc	`conf`	Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences. SAC Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan
2011	J	`jnl`	Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Informaticae Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia
2010	—	`conf`	Automatic generation of high quality test sets via CBMC. VERIFY@IJCAR Emanuele Di Rosa, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu
2010	J	`jnl`	QuBE7.0. J. Satisf. Boolean Model. Comput. Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
2010	J	`jnl`	Solving satisfiability problems with preferences. Constraints An Int. J. Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea
2010	J	`jnl`	Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting. J. Autom. Reason. Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
2010	A	`conf`	sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. SAT Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
2009	—	`conf`	Automatic Test Generation for Coverage Analysis Using CBMC. EUROCAST Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
2009	A	`conf`	Automatic Test Generation for Coverage Analysis of ERTMS Software. ICST Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina
2009	—	`conf`	Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker
2009	—	`conf`	Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. RCRA@AI*IA Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
2009	B	`conf`	Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: An Action-Based Approach. TrustBus Alessandro Armando, Enrico Giunchiglia, Serena Elisa Ponta
2009	—	`conf`	Improving Plan Quality in SAT-Based Planning. AI*IA Enrico Giunchiglia, Marco Maratea
2009	—	`conf`	Improving the Automatic Test Generation process for Coverage Analysis using CBMC. RCRA@AI*IA Damiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Gabriele Palma, Alessandra Puddu, Salvatore Sabina
2009	J	`jnl`	Introduction to the special issue on quantified CSPs and QBF. Constraints An Int. J. Enrico Giunchiglia, Kostas Stergiou
2009	A	`conf`	PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
2009	—	`ch.`	Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
2008	A	`conf`	A new Approach for Solving Satisfiability Problems with Qualitative Preferences. ECAI Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea
2008	A	`conf`	Computing All Optimal Solutions in Satisfiability Problems with Preferences. CP Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea
2008	J	`jnl`	On the relation among answer set solvers. Ann. Math. Artif. Intell. Enrico Giunchiglia, Nicola Leone, Marco Maratea
2008	—	`conf`	Preprocessing Techniques for QBFs. RCRA Enrico Giunchiglia, Paolo Marin, Massimo Narizzano
2007	A*	`conf`	Planning as Satisfiability with Preferences. AAAI Enrico Giunchiglia, Marco Maratea
2007	J	`jnl`	Quantifier Structure in Search-Based Procedures for QBFs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2007	—	`conf`	SAT-Based Planning with Minimal-#actions Plans and "soft" Goals. AI*IA Enrico Giunchiglia, Marco Maratea
2006	J	`jnl`	Answer Set Programming Based on Propositional Satisfiability. J. Autom. Reason. Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
2006	J	`jnl`	Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas. J. Artif. Intell. Res. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2006	J	`jnl`	Logics For Artificial Intelligence. Intelligenza Artificiale Luigia Carlucci Aiello, Enrico Giunchiglia, Luciano Serafini
2006	A	`conf`	Quantifier structure in search based procedures for QBFs. DATE Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2006	A	`conf`	Solving Optimization Problems with DLL. ECAI Enrico Giunchiglia, Marco Maratea
2006	B	`conf`	optsat: A Tool for Solving SAT Related Optimization Problems. JELIA Enrico Giunchiglia, Marco Maratea
2005	—	`conf`	An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Answer Set Programming Enrico Giunchiglia, Marco Maratea
2005	J	`jnl`	Constraints and AI Planning. IEEE Intell. Syst. Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen, Austin Tate
2005	B	`conf`	Efficient Semantic Matching. ESWC Fausto Giunchiglia, Mikalai Yatskevich, Enrico Giunchiglia
2005	—	`conf`	Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. AI*IA Enrico Giunchiglia, Marco Maratea
2005	B	`conf`	On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). ICLP Enrico Giunchiglia, Marco Maratea
2005	—	`conf`	SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
2005	J	`jnl`	Satisfiability in the Year 2005. J. Autom. Reason. Enrico Giunchiglia, Toby Walsh
2005	J	`jnl`	The SAT-based Approach to Separation Logic. J. Autom. Reason. Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
2004	—	`conf`	A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints. SAT (Selected Papers Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
2004	A	`conf`	A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints. SAT Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea
2004	—	`conf`	A SAT-based polynomial space algorithm for answer set programming. NMR Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
2004	J	`jnl`	Editorial: Nonmonotonic Reasoning. Artif. Intell. Salem Benferhat, Enrico Giunchiglia
2004	A	`conf`	Monotone Literals and Learning in QBF Reasoning. CP Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2004	J	`jnl`	Nonmonotonic causal theories. Artif. Intell. Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner
2004	A	`conf`	QBF Reasoning on Real-World Instances. SAT Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2004	—	`conf`	QBF Reasoning on Real-World Instances. SAT (Selected Papers Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2004	B	`conf`	QuBE++: An Efficient QBF Solver. FMCAD Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2004	A*	`conf`	SAT-Based Answer Set Programming. AAAI Enrico Giunchiglia, Yuliya Lierler, Marco Maratea
2004	—	`conf`	TSAT++: an Open Platform for Satisfiability Modulo Theories. D/PDPAR@IJCAR Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea
2004	J	`jnl`	The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03). AI Mag. Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau
2004	A	`ed.`	Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers SAT Enrico Giunchiglia, Armando Tacchella
2003	A	`conf`	(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver. CP Enrico Giunchiglia, Marco Maratea, Armando Tacchella
2003	J	`jnl`	Backjumping for Quantified Boolean Logic satisfiability. Artif. Intell. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2003	A*	`ed.`	Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy ICAPS Enrico Giunchiglia, Nicola Muscettola, Dana S. Nau
2003	J	`jnl`	SAT-based planning in complex domains: Concurrency, constraints and nondeterminism. Artif. Intell. Claudio Castellini, Enrico Giunchiglia, Armando Tacchella
2003	A	`conf`	Watched Data Structures for QBF Solvers. SAT Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley, Armando Tacchella
2002	—	`ed.`	9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings NMR Salem Benferhat, Enrico Giunchiglia
2002	B	`conf`	Dependent and Independent Variables in Propositional Satisfiability. JELIA Enrico Giunchiglia, Marco Maratea, Armando Tacchella
2002	—	`conf`	Integrating BDD-Based and SAT-Based Symbolic Model Checking. FroCoS Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
2002	—	`conf`	Learning for Quantified Boolean Logic Satisfiability. AAAI/IAAI Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2002	A*	`conf`	NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella
2002	J	`jnl`	SAT-Based Decision Procedures for Classical Modal Logics. J. Autom. Reason. Enrico Giunchiglia, Armando Tacchella, Fausto Giunchiglia
2001	J	`jnl`	A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics. Ann. Math. Artif. Intell. Enrico Giunchiglia, Armando Tacchella
2001	—	`conf`	An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability. AI*IA Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2001	A*	`conf`	Backjumping for Quantified Boolean Logic Satisfiability. IJCAI Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2001	A*	`conf`	Benefits of Bounded Model Checking at an Industrial Setting. CAV Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
2001	A	`conf`	Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability. IJCAR Enrico Giunchiglia, Marco Maratea, Armando Tacchella, Davide Zambonin
2001	J	`jnl`	Ideal and Real Belief about Belief. J. Log. Comput. Enrico Giunchiglia, Fausto Giunchiglia
2001	A	`conf`	QUBE: A System for Deciding Quantified Boolean Formulas Satisfiability. IJCAR Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
2001	J	`jnl`	Towards an Efficient Library for SAT: a Manifesto. Electron. Notes Discret. Math. Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella, Moshe Y. Vardi
2000	B	`conf`	A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics. TABLEAUX Enrico Giunchiglia, Armando Tacchella
2000	—	`conf`	Planning as Satisfiability in Nondeterministic Domains. AAAI/IAAI Paolo Ferraris, Enrico Giunchiglia
2000	A*	`conf`	Planning as Satisfiability with Expressive Action Languages: Concurrency, Constraints and Nondeterminism. KR Enrico Giunchiglia
2000	J	`jnl`	SAT vs. translation based decision procedures for modal logics: a comparative evaluation. J. Appl. Non Class. Logics Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
2000	A	`conf`	System Description: *SAT: A Platform for the Development of Modal Decision Procedures. CADE Enrico Giunchiglia, Armando Tacchella
1999	—	`conf`	*SAT, KSATC, DLP and TA: a comparative analysis. Description Logics Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
1999	—	`conf`	Applying the Davis-Putnam Procedure to Non-clausal Formulas. AI*IA Enrico Giunchiglia, Roberto Sebastiani
1999	J	`jnl`	Formal specification of beliefs in multi-agent systems. Int. J. Intell. Syst. Massimo Benerecetti, Enrico Giunchiglia, Luciano Serafini, Adolfo Villafiorita
1999	—	`conf`	SAT-Based Procedures for Temporal Reasoning. ECP Alessandro Armando, Claudio Castellini, Enrico Giunchiglia
1999	—	`conf`	The SAT-Based Approach for Classical Modal Logics. AI*IA Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
1998	—	`conf`	Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability. AAAI/IAAI Enrico Giunchiglia, Alessandro Massarotto, Roberto Sebastiani
1998	—	`conf`	An Action Language Based on Causal Explanation: Preliminary Report. AAAI/IAAI Enrico Giunchiglia, Vladimir Lifschitz
1998	A*	`conf`	More Evaluation of Decision Procedures for Modal Logics. KR Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella
1998	Misc	`conf`	Planning via Model Checking in Deterministic Domains: Preliminary Report. AIMSA Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino
1997	—	`conf`	Planning via Model Checking: A Decision Procedure for ECP Alessandro Cimatti, Fausto Giunchiglia, Enrico Giunchiglia, Paolo Traverso
1997	J	`jnl`	Representing Action: Indeterminacy and Ramifications. Artif. Intell. Enrico Giunchiglia, G. Neelakantan Kartha, Vladimir Lifschitz
1996	J	`jnl`	Dealing with expected and unexpected obstacles. J. Exp. Theor. Artif. Intell. Fausto Giunchiglia, Enrico Giunchiglia, Tom Costello, Paolo Bouquet
1996	A*	`conf`	Determining Ramifications in the Situation Calculus. KR Enrico Giunchiglia
1996	—	`conf`	Formal Specification of Beliefs in Multi-Agent Systems. ATAL Massimo Benerecetti, Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
1996	—	`conf`	Ideal and Real Belief about Belief. FAPR Enrico Giunchiglia, Fausto Giunchiglia
1996	—	`conf`	Ideal and Real Belief aobout Belief: Some Intuitions. MAAMAW Fausto Giunchiglia, Enrico Giunchiglia
1996	J	`jnl`	Visual representation of natural language scene descriptions. IEEE Trans. Syst. Man Cybern. Part B Enrico Giunchiglia, Alessandro Armando, Paolo Traverso, Alessandro Cimatti
1995	J	`jnl`	A multicontext architecture for formalizing complex reasoning. Int. J. Intell. Syst. Enrico Giunchiglia, Paolo Traverso
1995	—	`conf`	Agents as Reasoners, Observers or Believers. AI*IA Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
1995	—	`conf`	Agents as Reasoners, Observers, or Arbitrary Believers. ICMAS Enrico Giunchiglia, Fausto Giunchiglia, Luciano Serafini
1995	A*	`conf`	Dependent Fluents. IJCAI Enrico Giunchiglia, Vladimir Lifschitz
1995	J	`jnl`	Structured Proof Procedures. Ann. Math. Artif. Intell. Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
1994	J	`jnl`	MRG: Building planers for real-world complex applications. Appl. Artif. Intell. Paolo Traverso, Alessandro Cimatti, Luca Spalazzi, Alessandro Armando, Enrico Giunchiglia
1993	J	`jnl`	Embedding Complex Decision Procedures Inside an Interactive Theorem Prover. Ann. Math. Artif. Intell. Alessandro Armando, Enrico Giunchiglia
1993	C	`conf`	Multi-Context Systems as a Tool to Model Temporal Evolution. ISMIS Mauro Di Manzo, Enrico Giunchiglia
1993	A*	`conf`	Non-Omniscient Belief as Context-Based Resoning. IJCAI Fausto Giunchiglia, Luciano Serafini, Enrico Giunchiglia, Marcello Frixione
1993	—	`conf`	Proving Formulas through Reduction to Decidable Classes. AI*IA Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
1992	Misc	`conf`	A Knowledge Based System for Automatic 3D Scene. AIMSA Paolo Traverso, Alessandro Armando, Enrico Giunchiglia
1991	—	`conf`	A Set of Hierarchically Structured Decision Procedures for Some Subclasses of First Order Logic. SCAI Enrico Giunchiglia
1990	—	`conf`	Reasoning About Time in Qualitative Modeling. Modelling the Innovation Enrico Giunchiglia, D. Tezza
1988	A	`conf`	Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential Formulas. ECAI Fausto Giunchiglia, Enrico Giunchiglia