Augusto B. Corrêa
6 papers · 2018–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird 🧬 Topic Evolution
🌈
Renaissance Researcher
(5)
Top co-authors
Research topics
Keywords
classical planning
(3)
heuristic search
(3)
lifted planning
(2)
automated planning
(2)
knowledge compilation
(1)
discrete mathematics
(1)
polynomial time
(1)
quantitative reasoning
(1)
search algorithm
(1)
zero-knowledge proof
(1)
cryptographic protocol
(1)
admissible heuristic
(1)
state space
(1)
plan existence
(1)
a* algorithm
(1)
optimal expansion
(1)
tie-breaking strategy
(1)
generalized planning
(1)
first-order logic property
(1)
datalog program
(1)
Papers
Counting and Reasoning with Plans
AAAI 2025
Lifted Planning: Recent Advances in Planning Using First-Order Representations
IJCAI 2024
Zero-Knowledge Proofs for Classical Planning Problems
AAAI 2023
The FF Heuristic for Lifted Classical Planning
AAAI 2022
Generalized Potential Heuristics for Classical Planning
IJCAI 2019
Analyzing Tie-Breaking Strategies for the A* Algorithm
IJCAI 2018