Carlos Linares Lopez
7 papers · 2013–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot (2) 🏃 Academic Marathon (11) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (14)
🚀
Conference Pioneer
Conferences
IJCAI (4)
AAAI (3)
Top co-authors
Keywords
heuristic search
(2)
best-first search
(1)
heuristic function
(1)
regression analysis
(1)
anytime algorithm
(1)
beam search
(1)
search algorithm
(1)
admissible heuristic
(1)
classical planning
(1)
state constraint
(1)
optimal solution
(1)
optimal planning
(1)
local minimum
(1)
breadth-first search
(1)
cartesian abstraction
(1)
backward search
(1)
counterexample-guided abstraction refinement
(1)
optimal classical planning
(1)
Papers
Not Everything Is Permitted: Constrained Cartesian Abstractions for Optimal Classical Planning
AAAI 2026
Rectangle Search: An Anytime Beam Search
AAAI 2024
When CEGAR Meets Regression: A Love Story in Optimal Classical Planning
AAAI 2024
Abstraction Heuristics for Symbolic Bidirectional Search
IJCAI 2016
Sorting Sequential Portfolios in Automated Planning
IJCAI 2015
Symbolic Merge-and-Shrink for Cost-Optimal Planning
IJCAI 2013
Target-Value Search Revisited
IJCAI 2013