Items where Author is "Corrêa, Augusto B."

Yes

Corrêa, Augusto B. and Seipp, Jendrik. (2022) Best-First Width Search for Lifted Classical Planning. In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022), 32. Palo Alto, California USA, pp. 11-15.

Galery Käser, Lucas and Büchner, Clemens and Corrêa, Augusto B. and Pommerening, Florian and Röger, Gabriele. (2022) Machetli: Simplifying Input Files for Debugging. 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). System Demonstrations.

Abdulaziz, Mohammad and Pommerening, Florian and Corrêa, Augusto B.. (2022) Mechanically Proving Guarantees of Generalized Heuristics: First Results and Ongoing Work. ICAPS 2022 Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022). Proceedings.

Helmert, Malte and Sievers, Silvan and Rovner, Alexander and Corrêa, Augusto B.. (2022) On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond. In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS 2022). pp. 124-133.

Corrêa, Augusto B. and Pommerening, Florian and Helmert, Malte and Francès, Guillem. (2022) The FF Heuristic for Lifted Classical Planning. In: Proceedings of the 36th AAAI Conference on Artificial Intelligence. Palo Alto, California USA, pp. 9716-9723.

Corrêa, Augusto B. and Francès, Guillem and Pommerening, Florian and Helmert, Malte. (2021) Delete-Relaxation Heuristics for Lifted Classical Planning. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS 2021), 31. pp. 94-102.

Corrêa, Augusto B. and Pommerening, Florian and Helmert, Malte and Francès, Guillem. (2020) Lifted Successor Generation using Query Optimization Techniques. In: Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), 30. pp. 80-89.

Corrêa, Augusto B. and Pommerening, Florian. (2019) An Empirical Study of Perfect Potential Heuristics. In: Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 29. pp. 114-118.

Francès Medina, Guillem and Corrêa, Augusto B. and Geissmann, Cedric and Pommerening, Florian. (2019) Generalized Potential Heuristics for Classical Planning. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence. pp. 5554-5561.

Corrêa, Augusto B. and Pommerening, Florian and Francès, Guillem. (2018) Relaxed Decision Diagrams for Delete-Free Planning. Proceedings of the CP 2018 Workshop on Constraints and AI Planning (ConsAIPlan 2018).

No

Büchner, Clemens and Christen, Remo and Corrêa, Augusto B. and Eriksson, Salomé and Ferber, Patrick and Seipp, Jendrik and Sievers, Silvan. (2023) Fast Downward Stone Soup 2023.