3
Publications
66
Citations
3
H-Index
2019
Active since
Affiliations
Augusto B. Corrêa is an author at University of Basel specializing in automated reasoning, combinatorial optimization, and computer science.
Top concepts
EngineeringComputer ScienceAutomated ReasoningArtificial IntelligenceComputational ComplexityCombinatorial OptimizationPlanningMechanism DesignOperations ResearchMathematical Programming
Publications per year
2019–2021
3
3
Generalized Potential Heuristics for Classical Planning
Guillem Francès, Augusto B. Corrêa, Cedric Geissmann et al. · 2019 · 18 citations · Full text
Mathematical Programming, Artificial Intelligence, Engineering +17
Delete-Relaxation Heuristics for Lifted Classical Planning
Augusto B. Corrêa, Guillem Francès, Florian Pommerening et al. · Proceedings of the International Conference on Automated Planning and Scheduling · 2021 · 17 citations · Full text
Mathematical Programming, Artificial Intelligence, Engineering +16
Rows per page
1–3 of 3