Planning Multi-Modal Transportation Problems. - José E. Flórez; Álvaro Torralba Arias de Reyna; Javier García 001; Carlos Linares López; Angel García Olaya; Daniel Borrajo (ICAPS, 2011)

Size-Independent Additive Pattern Databases for the Pancake Problem. - Álvaro Torralba Arias de Reyna; Carlos Linares López (SOCS, 2011)

Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction. - Stefan Edelkamp; Peter Kissmann; Álvaro Torralba (ECAI, 2012)

Precomputed-Direction Heuristics for Suboptimal Grid-Based Path-finding. - Álvaro Parra 002; Álvaro Torralba Arias de Reyna; Carlos Linares López (SOCS, 2012)

Lex-Partitioning: A New Option for BDD Search - Stefan Edelkamp; Peter Kissmann; Álvaro Torralba (GRAPHITE, 2012)

Transition Trees for Cost-Optimal Symbolic Planning. - Álvaro Torralba; Stefan Edelkamp; Peter Kissmann (ICAPS, 2013)

Symbolic Merge-and-Shrink for Cost-Optimal Planning. - Álvaro Torralba Arias de Reyna; Carlos Linares López; Daniel Borrajo (IJCAI, 2013)

Constrained Symbolic Search: On Mutexes, BDD Minimization and More. - Álvaro Torralba; Vidal Alcázar (SOCS, 2013)

Combining linear programming and automated planning to solve intermodal transportation problems. - Javier García 001; José E. Flórez; Álvaro Torralba Arias de Reyna; Daniel Borrajo; Carlos Linares López; Angel García Olaya; Juan Sáenz (Eur. J. Oper. Res., 2013)

"Distance"? Who Cares? Tailoring Merge-and-Shrink Heuristics to Detect Unsolvability. - Jörg Hoffmann 001; Peter Kissmann; Álvaro Torralba (ECAI, 2014)

BDDs Strike Back (in AI Planning). - Stefan Edelkamp; Peter Kissmann; Álvaro Torralba (AAAI, 2015)

A Reminder about the Importance of Computing and Exploiting Invariants in Planning. - Vidal Alcázar; Álvaro Torralba (ICAPS, 2015)

Simulation-Based Admissible Dominance Pruning. - Álvaro Torralba; Jörg Hoffmann 001 (IJCAI, 2015)

Focusing on What Really Matters: Irrelevance Pruning in Merge-and-Shrink. - Álvaro Torralba; Peter Kissmann (SOCS, 2015)

TIMIPLAN: A Tool for Transportation Tasks. - Javier García 001; Álvaro Torralba; José E. Flórez; Daniel Borrajo; Carlos Linares López; Ángel García Olaya (Autonomic Road Transport Support Systems, 2016)

Practical Undoability Checking via Contingent Planning. - Jeanette Daum; Álvaro Torralba; Jörg Hoffmann 001; Patrik Haslum; Ingo Weber (ICAPS, 2016)

From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation. - Maximilian Schwenger; Álvaro Torralba; Jörg Hoffmann 001; David M. Howcroft; Vera Demberg (COLING, 2016)

On State-Dominance Criteria in Fork-Decoupled Search. - Álvaro Torralba; Daniel Gnad 001; Patrick Dubbert; Jörg Hoffmann 001 (IJCAI, 2016)

Abstraction Heuristics for Symbolic Bidirectional Search. - Álvaro Torralba; Carlos Linares López; Daniel Borrajo (IJCAI, 2016)

Search Challenges in Natural Language Generation with Complex Optimization Objectives. - Vera Demberg; Jörg Hoffmann 001; David M. Howcroft; Dietrich Klakow; Álvaro Torralba (Künstliche Intell., 2016)

Symmetry Breaking in Star-Topology Decoupled Search. - Daniel Gnad 001; Álvaro Torralba; Alexander Shleyfman; Jörg Hoffmann 001 (ICAPS, 2017)

On Creating Complementary Pattern Databases. - Santiago Franco; Álvaro Torralba; Levi H. S. Lelis; Mike Barley (IJCAI, 2017)

From Qualitative to Quantitative Dominance Pruning for Optimal Planning. - Álvaro Torralba (IJCAI, 2017)

Symbolic Leaf Representation in Decoupled Search. - Daniel Gnad 001; Álvaro Torralba; Jörg Hoffmann 001 (SOCS, 2017)

Efficient symbolic search for cost-optimal planning. - Álvaro Torralba; Vidal Alcázar; Peter Kissmann; Stefan Edelkamp (Artif. Intell., 2017)

Completeness-Preserving Dominance Techniques for Satisficing Planning. - Álvaro Torralba (IJCAI, 2018)

Symbolic perimeter abstraction heuristics for cost-optimal planning. - Álvaro Torralba; Carlos Linares López; Daniel Borrajo (Artif. Intell., 2018)

Operator Mutexes and Symmetries for Simplifying Planning Tasks. - Daniel Fiser; Álvaro Torralba; Alexander Shleyfman (AAAI, 2019)

Learning How to Ground a Plan - Partial Grounding in Classical Planning. - Daniel Gnad 001; Álvaro Torralba; Martín Ariel Domínguez; Carlos Areces; Facundo Bustos (AAAI, 2019)

Symbolic Planning with Axioms. - David Speck 001; Florian Geißer; Robert Mattmüller; Álvaro Torralba (ICAPS, 2019)

Bridging the Gap between Abstractions and Critical-Path Heuristics via Hypergraphs. - Marcel Steinmetz; Álvaro Torralba (ICAPS, 2019)

Merge-and-Shrink Task Reformulation for Classical Planning. - Álvaro Torralba; Silvan Sievers (IJCAI, 2019)

Interleaving Search and Heuristic Improvement. - Santiago Franco; Álvaro Torralba (SOCS, 2019)

Novel Is Not Always Better: On the Relation between Novelty and Dominance Pruning. - Joschka Gross; Álvaro Torralba; Maximilian Fickert (AAAI, 2020)

Generating Instructions at Different Levels of Abstraction. - Arne Köhn; Julia Wichlacz; Álvaro Torralba; Daniel Höller; Jörg Hoffmann 001; Alexander Koller (COLING, 2020)

Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties. - Rebecca Eifler; Marcel Steinmetz; Álvaro Torralba; Jörg Hoffmann 001 (IJCAI, 2020)

MC-Saar-Instruct: a Platform for Minecraft Instruction Giving Agents. - Arne Köhn; Julia Wichlacz; Christine Schäfer; Álvaro Torralba; Jörg Hoffmann 001; Alexander Koller (SIGdial, 2020)

Applying Monte-Carlo Tree Search in HTN Planning. - Julia Wichlacz; Daniel Höller; Álvaro Torralba; Jörg Hoffmann 001 (SOCS, 2020)

On the Optimal Efficiency of A* with Dominance Pruning. - Álvaro Torralba (AAAI, 2021)

Faster Stackelberg Planning via Symbolic Search and Information Sharing. - Álvaro Torralba; Patrick Speicher; Robert Künnemann; Marcel Steinmetz; Jörg Hoffmann 001 (AAAI, 2021)

Pattern Databases for Goal-Probability Maximization in Probabilistic Planning. - Thorsten Klößner; Jörg Hoffmann 001; Marcel Steinmetz; Álvaro Torralba (ICAPS, 2021)

Automatic Instance Generation for Classical Planning. - Álvaro Torralba; Jendrik Seipp; Silvan Sievers (ICAPS, 2021)

Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. - Pascal Lauer; Álvaro Torralba; Daniel Fiser; Daniel Höller; Julia Wichlacz; Jörg Hoffmann 001 (IJCAI, 2021)

Operator-Potential Heuristics for Symbolic Search. - Daniel Fiser; Álvaro Torralba; Jörg Hoffmann 001 (AAAI, 2022)

Homomorphisms of Lifted Planning Tasks: The Case for Delete-Free Relaxation Heuristics. - Rostislav Horcík; Daniel Fiser; Álvaro Torralba (AAAI, 2022)

Operator-Potentials in Symbolic Search: From Forward to Bi-directional Search. - Daniel Fiser; Álvaro Torralba; Jörg Hoffmann 001 (ICAPS, 2022)

Beyond Stars - Generalized Topologies for Decoupled Search. - Daniel Gnad 001; Álvaro Torralba; Daniel Fiser (ICAPS, 2022)

Optimal Mixed Strategies for Cost-Adversarial Planning Games. - Rostislav Horcík; Álvaro Torralba; Pavel Rytír; Lukás Chrpa; Stefan Edelkamp (ICAPS, 2022)

Pattern Selection Strategies for Pattern Databases in Probabilistic Planning. - Thorsten Klößner; Marcel Steinmetz; Álvaro Torralba; Jörg Hoffmann 001 (ICAPS, 2022)

NetStack: A Game Approach to Synthesizing Consistent Network Updates. - Stefan Schmid 001; Bernhard Clemens Schrenk; Álvaro Torralba (IFIP Networking, 2022)

Additive Pattern Databases for Decoupled Search. - Silvan Sievers; Daniel Gnad 001; Álvaro Torralba (SOCS, 2022)

Scaling up ML-based Black-box Planning with Partial STRIPS Models. - Matias Greco; Álvaro Torralba; Jorge A. Baier; Héctor Palacios (CoRR, 2022)

PDDL Generators. - Jendrik Seipp; Álvaro Torralba; Jörg Hoffmann 001 (Zenodo, 2022)

Reshaping State-Space Search: From Dominance to Contrastive Analysis. - Álvaro Torralba (AAAI, 2023)

Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases. - Daniel Gnad 001; Silvan Sievers; Álvaro Torralba (ICAPS, 2023)

Automatic Metamorphic Test Oracles for Action-Policy Testing. - Jan Eisenhut; Álvaro Torralba; Maria Christakis; Jörg Hoffmann 001 (ICAPS, 2023)

A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems. - Thorsten Klößner; Álvaro Torralba; Marcel Steinmetz; Silvan Sievers (ICAPS, 2023)

Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning. - Florian Pham; Álvaro Torralba (IJCAI, 2023)

When CEGAR Meets Regression: A Love Story in Optimal Classical Planning. - Martín Pozo; Álvaro Torralba; Carlos Linares López (AAAI, 2024)

Merge-and-Shrink Heuristics for SSPs with Prune Transformations. - Thorsten Klößner; Álvaro Torralba; Marcel Steinmetz; Silvan Sievers (ECAI, 2024)

Gotta Catch 'Em All! Sequence Flaws in CEGAR for Classical Planning. - Martín Pozo; Álvaro Torralba; Carlos Linares López (ECAI, 2024)

Computing Planning Centroids and Minimum Covering States Using Symbolic Bidirectional Search. - Alberto Pozanco; Álvaro Torralba; Daniel Borrajo (ICAPS, 2024)

Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata. - Rasmus G. Tollund; Nicklas S. Johansen; Kristian Ø. Nielsen; Álvaro Torralba; Kim G. Larsen (ICAPS, 2024)

Boosting optimal symbolic planning: Operator-potential heuristics. - Daniel Fiser; Álvaro Torralba; Jörg Hoffmann 001 (Artif. Intell., 2024)

Artefact for: "Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata". - Rasmus G. Tollund; Nicklas S. Johansen; Kristian Ødum Knorborg; Kim Guldstrand Larsen; Álvaro Torralba (Zenodo, 2024)

Symbolic Search for Cost-Optimal Planning with Expressive Model Extensions. - David Speck 001; Jendrik Seipp; Álvaro Torralba (J. Artif. Intell. Res., 2025)