| 2026 | AAAI | Not Everything Is Permitted: Constrained Cartesian Abstractions for Optimal Classical Planning. | Martn Pozo, lvaro Torralba, Carlos Linares Lpez |
| 2026 | AAAI | Dominance Pruning and Heuristics in Optimal Adversarial Non-Deterministic Planning. | Rasmus G. Tollund, lvaro Torralba |
| 2025 | ECAI | Conditional Dominance Analysis for Classical Planning. | Anna Wilhelm, lvaro Torralba |
| 2025 | ICAPS | Continuing the Quest for Polynomial Time Heuristics in PDDL Input Size: Tractable Cases for Lifted hᵃᵈᵈ. | Pascal Lauer, lvaro Torralba, Daniel Hller, Jrg Hoffmann |
| 2025 | IJCAI | What Makes You Special? Contrastive Heuristics Based on Qualified Dominance. | Rasmus G. Tollund, Kim G. Larsen, lvaro Torralba |
| 2024 | AAAI | When CEGAR Meets Regression: A Love Story in Optimal Classical Planning. | Martn Pozo, lvaro Torralba, Carlos Linares Lpez |
| 2024 | ECAI | Merge-and-Shrink Heuristics for SSPs with Prune Transformations. | Thorsten Klner, lvaro Torralba, Marcel Steinmetz, Silvan Sievers |
| 2024 | ECAI | Gotta Catch 'Em All! Sequence Flaws in CEGAR for Classical Planning. | Martn Pozo, lvaro Torralba, Carlos Linares Lpez |
| 2024 | ICAPS | Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search. | Alberto Pozanco, lvaro Torralba, Daniel Borrajo |
| 2024 | ICAPS | Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. | Rasmus G. Tollund, Nicklas S. Johansen, Kristian . Nielsen, lvaro Torralba, Kim G. Larsen |
| 2023 | AAAI | Reshaping State-Space Search: From Dominance to Contrastive Analysis. | lvaro Torralba |
| 2023 | IJCAI | Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning. | Florian Pham, lvaro Torralba |
| 2022 | AAAI | Operator-Potential Heuristics for Symbolic Search. | Daniel Fiser, lvaro Torralba, Jrg Hoffmann |
| 2022 | AAAI | Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics. | Rostislav Horck, Daniel Fiser, lvaro Torralba |
| 2022 | Networking | NetStack: A Game Approach to Synthesizing Consistent Network Updates. | Stefan Schmid, Bernhard Clemens Schrenk, lvaro Torralba |
| 2022 | SoCS | Additive Pattern Databases for Decoupled Search. | Silvan Sievers, Daniel Gnad, lvaro Torralba |
| 2021 | AAAI | On the Optimal Efficiency of A* with Dominance Pruning. | lvaro Torralba |
| 2021 | AAAI | Faster Stackelberg Planning via Symbolic Search and Information Sharing. | lvaro Torralba, Patrick Speicher, Robert Knnemann, Marcel Steinmetz, Jrg Hoffmann |
| 2021 | IJCAI | Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. | Pascal Lauer, lvaro Torralba, Daniel Fiser, Daniel Hller, Julia Wichlacz, Jrg Hoffmann |
| 2020 | AAAI | Novel Is Not Always Better: On the Relation between Novelty and Dominance Pruning. | Joschka Gro, lvaro Torralba, Maximilian Fickert |
| 2020 | COLING | Generating Instructions at Different Levels of Abstraction. | Arne Khn, Julia Wichlacz, lvaro Torralba, Daniel Hller, Jrg Hoffmann, Alexander Koller |
| 2020 | IJCAI | Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. | Rebecca Eifler, Marcel Steinmetz, lvaro Torralba, Jrg Hoffmann |
| 2020 | SIGdial | MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents. | Arne Khn, Julia Wichlacz, Christine Schfer, lvaro Torralba, Jrg Hoffmann, Alexander Koller |
| 2020 | SoCS | Applying Monte-Carlo Tree Search in HTN Planning. | Julia Wichlacz, Daniel Hller, lvaro Torralba, Jrg Hoffmann |
| 2019 | AAAI | Operator Mutexes and Symmetries for Simplifying Planning Tasks. | Daniel Fiser, lvaro Torralba, Alexander Shleyfman |
| 2019 | AAAI | Learning How to Ground a Plan - Partial Grounding in Classical Planning. | Daniel Gnad, lvaro Torralba, Martn Ariel Domnguez, Carlos Areces, Facundo Bustos |
| 2019 | IJCAI | Merge-and-Shrink Task Reformulation for Classical Planning. | lvaro Torralba, Silvan Sievers |
| 2019 | SoCS | Interleaving Search and Heuristic Improvement. | Santiago Franco, lvaro Torralba |
| 2018 | IJCAI | Completeness-Preserving Dominance Techniques for Satisficing Planning. | lvaro Torralba |
| 2017 | IJCAI | On Creating Complementary Pattern Databases. | Santiago Franco, lvaro Torralba, Levi H. S. Lelis, Mike Barley |
| 2017 | IJCAI | From Qualitative to Quantitative Dominance Pruning for Optimal Planning. | lvaro Torralba |
| 2017 | SoCS | Symbolic Leaf Representation in Decoupled Search. | Daniel Gnad, lvaro Torralba, Jrg Hoffmann |
| 2016 | COLING | From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. | Maximilian Schwenger, lvaro Torralba, Jrg Hoffmann, David M. Howcroft, Vera Demberg |
| 2016 | IJCAI | On State-Dominance Criteria in Fork-Decoupled Search. | lvaro Torralba, Daniel Gnad, Patrick Dubbert, Jrg Hoffmann |
| 2016 | IJCAI | Abstraction Heuristics for Symbolic Bidirectional Search. | lvaro Torralba, Carlos Linares Lpez, Daniel Borrajo |
| 2015 | AAAI | BDDs Strike Back (in AI Planning). | Stefan Edelkamp, Peter Kissmann, lvaro Torralba |
| 2015 | IJCAI | Simulation-Based Admissible Dominance Pruning. | lvaro Torralba, Jrg Hoffmann |
| 2015 | SoCS | Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink. | lvaro Torralba, Peter Kissmann |
| 2014 | ECAI | "Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability. | Jrg Hoffmann, Peter Kissmann, lvaro Torralba |
| 2013 | SoCS | Constrained Symbolic Search: On Mutexes, BDD Minimization and More. | lvaro Torralba, Vidal Alczar |
| 2012 | ECAI | Symbolic A | Stefan Edelkamp, Peter Kissmann, lvaro Torralba |