Improved Airport Ground Traffic Control with Domain-Dependent Heuristics. - Augusto B. Corrêa; André Grahl Pereira; Marcus Ritt (BRACIS, 2016)

Analyzing Tie-Breaking Strategies for the A* Algorithm. - Augusto B. Corrêa; André Grahl Pereira; Marcus Ritt (IJCAI, 2018)

An Empirical Study of Perfect Potential Heuristics. - Augusto B. Corrêa; Florian Pommerening (ICAPS, 2019)

Generalized Potential Heuristics for Classical Planning. - Guillem Francès; Augusto B. Corrêa; Cedric Geissmann; Florian Pommerening (IJCAI, 2019)

Lifted Successor Generation Using Query Optimization Techniques. - Augusto B. Corrêa; Florian Pommerening; Malte Helmert; Guillem Francès (ICAPS, 2020)

Delete-Relaxation Heuristics for Lifted Classical Planning. - Augusto B. Corrêa; Guillem Francès; Florian Pommerening; Malte Helmert (ICAPS, 2021)

The FF Heuristic for Lifted Classical Planning. - Augusto B. Corrêa; Florian Pommerening; Malte Helmert; Guillem Francès (AAAI, 2022)

Best-First Width Search for Lifted Classical Planning. - Augusto B. Corrêa; Jendrik Seipp (ICAPS, 2022)

On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond. - Malte Helmert; Silvan Sievers; Alexander Rovner; Augusto B. Corrêa (ICAPS, 2022)

Zero-Knowledge Proofs for Classical Planning Problems. - Augusto B. Corrêa; Clemens Büchner; Remo Christen (AAAI, 2023)

Grounding Planning Tasks Using Tree Decompositions and Iterated Solving. - Augusto B. Corrêa; Markus Hecher; Malte Helmert; Davide Mario Longo; Florian Pommerening; Stefan Woltran (ICAPS, 2023)

Planning with Object Creation. - Augusto B. Corrêa; Giuseppe De Giacomo; Malte Helmert; Sasha Rubin (ICAPS, 2024)

Lifted Planning: Recent Advances in Planning Using First-Order Representations. - Augusto B. Corrêa; Giuseppe De Giacomo (IJCAI, 2024)

Consolidating LAMA with Best-First Width Search. - Augusto B. Corrêa; Jendrik Seipp (CoRR, 2024)

The Universal PDDL Domain. - Patrik Haslum; Augusto B. Corrêa (CoRR, 2024)

Counting and Reasoning with Plans. - David Speck 001; Markus Hecher; Daniel Gnad 001; Johannes Klaus Fichte; Augusto B. Corrêa (AAAI, 2025)

Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code. - Augusto B. Corrêa; André Grahl Pereira; Jendrik Seipp (CoRR, 2025)