| Lifted successor generation using query optimization techniques AB Corrêa, F Pommerening, M Helmert, G Frances Proceedings of the International Conference on Automated Planning and …, 2020 | 55 | 2020 |
| Generalized potential heuristics for classical planning G Francès Medina, AB Corrêa, C Geissmann, F Pommerening International Joint Conferences on Artificial Intelligence, 2019 | 33 | 2019 |
| Delete-relaxation heuristics for lifted classical planning AB Corrêa, G Francès, F Pommerening, M Helmert Proceedings of the International Conference on Automated Planning and …, 2021 | 29 | 2021 |
| The FF heuristic for lifted classical planning AB Corrêa, F Pommerening, M Helmert, G Frances Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9716-9723, 2022 | 13 | 2022 |
| Best-first width search for lifted classical planning AB Corrêa, J Seipp Proceedings of the International Conference on Automated Planning and …, 2022 | 11 | 2022 |
| Scorpion Maidu: Width Search in the Scorpion Planning System AB Corrêa, G Frances, M Hecher, DM Longo, J Seipp Tenth International Planning Competition (IPC-10): Planner Abstracts, 2023 | 8* | 2023 |
| Analyzing Tie-Breaking Strategies for the A* Algorithm AB Corrêa, AG Pereira, M Ritt IJCAI 2018, 8, 2018 | 8 | 2018 |
| An empirical study of perfect potential heuristics AB Corrêa, F Pommerening Proceedings of the International Conference on Automated Planning and …, 2019 | 6 | 2019 |
| The powerlifted planning system in the IPC 2023 AB Corrêa, G Frances, M Hecher, DM Longo, J Seipp Tenth International Planning Competition (IPC-10): Planner Abstracts, 2023 | 5 | 2023 |
| Grounding planning tasks using tree decompositions and iterated solving AB Corrêa, M Hecher, M Helmert, DM Longo, F Pommerening, S Woltran Proceedings of the International Conference on Automated Planning and …, 2023 | 4 | 2023 |
| Levitron: Combining Ground and Lifted Planning AB Corrêa, G Frances, M Hecher, DM Longo, J Seipp Tenth International Planning Competition (IPC-10): Planner Abstracts, 2023 | 4 | 2023 |
| On the Complexity of Heuristic Synthesis for Satisficing Classical Planning: Potential Heuristics and Beyond M Helmert, S Sievers, A Rovner, AB Corrêa Proceedings of the International Conference on Automated Planning and …, 2022 | 3 | 2022 |
| Machetli: Simplifying Input Files for Debugging L Galery Käser, C Büchner, AB Corrêa, F Pommerening, G Röger 32nd International Conference on Automated Planning and Scheduling (ICAPS …, 2022 | 3* | 2022 |
| Concept Languages as Expert Input for Generalized Planning: Preliminary Results R de Graaff, AB Corrêa, F Pommerening ICAPS 2021 Workshop on Knowledge Engineering for Planning and Scheduling, 2021 | 3 | 2021 |
| Generalized potential heuristics for classical planning: Additional material G Frances, AB Corrêa, C Geissmann, F Pommerening Technical Report CS-2019-003, University of Basel, Department of Mathematics …, 2019 | 3 | 2019 |
| Relaxed Decision Diagrams for Delete-Free Planning AB Corrêa, F Pommerening, G Frances Proceedings of the CP 2018 Workshop on Constraints and AI Planning …, 2018 | 3 | 2018 |
| Fast Downward Stone Soup 2023 C Büchner, R Christen, AB Corrêa, S Eriksson, P Ferber, J Seipp, ... University_of_Basel, 2023 | 2 | 2023 |
| OpCount4Sat: Operator Counting Heuristics for Satisficing Planning D Doebber, AG Pereira, AB Corrêa en. In, 58-60, 2023 | 2 | 2023 |
| Planning using lifted task representations AB Corrêa Master’s thesis, University of Basel, 2019 | 2 | 2019 |
| Improved airport ground traffic control with domain-dependent heuristics AB Corrêa, AG Pereira, M Ritt 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 73-78, 2016 | 2 | 2016 |
Florian PommereningUniversity of BaselVerified email at unibas.ch
