Augusto B. Corrêa

According to our database, Augusto B. Corrêa authored at least 11 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

Zero-Knowledge Proofs for Classical Planning Problems.

Augusto B. Corrêa, Clemens Büchner, Remo Christen

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

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

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Best-First Width Search for Lifted Classical Planning.

Augusto B. Corrêa, Jendrik Seipp

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

The FF Heuristic for Lifted Classical Planning.

Augusto B. Corrêa, Florian Pommerening, Malte Helmert, Guillem Francès

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Delete-Relaxation Heuristics for Lifted Classical Planning.

Augusto B. Corrêa, Guillem Francès, Florian Pommerening, Malte Helmert

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

2020

Lifted Successor Generation Using Query Optimization Techniques.

Augusto B. Corrêa, Florian Pommerening, Malte Helmert, Guillem Francès

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

2019

Generalized Potential Heuristics for Classical Planning.

Guillem Francès, Augusto B. Corrêa, Cedric Geissmann, Florian Pommerening

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

An Empirical Study of Perfect Potential Heuristics.

Augusto B. Corrêa, Florian Pommerening

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Analyzing Tie-Breaking Strategies for the A* Algorithm.

Augusto B. Corrêa, André Grahl Pereira, Marcus Ritt

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2016

Improved Airport Ground Traffic Control with Domain-Dependent Heuristics.

Augusto B. Corrêa, André Grahl Pereira, Marcus Ritt

Proceedings of the 5th Brazilian Conference on Intelligent Systems, 2016