Álvaro Torralba

Saarland University , Saarland Informatics Campus , Germany

9 papers in the IJCAI proceedings

IJCAI 2026

Transforming and Encoding FTS for SAT Solving: What Helps, What Hurts

with João Filipe, Gregor Behnke

doi:10.24963/ijcai.2026/249

Details PDF

IJCAI 2025

What Makes You Special? Contrastive Heuristics Based on Qualified Dominance

with Rasmus G. Tollund, Kim G. Larsen

doi:10.24963/ijcai.2025/962

Details PDF

IJCAI 2023

Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning

with Florian Pham

doi:10.24963/ijcai.2023/602

Details PDF

IJCAI 2021

Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning

with Pascal Lauer, Daniel Fišer, Daniel Höller, Julia Wichlacz, Jörg Hoffmann

doi:10.24963/ijcai.2021/567

Details PDF

IJCAI 2020

Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties

with Rebecca Eifler, Marcel Steinmetz, Jörg Hoffmann

doi:10.24963/ijcai.2020/566

Details PDF

IJCAI 2019

Merge-and-Shrink Task Reformulation for Classical Planning

with Silvan Sievers

doi:10.24963/ijcai.2019/783

Details PDF

IJCAI 2018

Completeness-Preserving Dominance Techniques for Satisficing Planning

doi:10.24963/ijcai.2018/673

Details PDF

IJCAI 2017

From Qualitative to Quantitative Dominance Pruning for Optimal Planning

doi:10.24963/ijcai.2017/618

Details PDF

On Creating Complementary Pattern Databases

with Santiago Franco, Levi H. S. Lelis, Mike Barley

doi:10.24963/ijcai.2017/601

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings