Carlos Linares Lopez
7 papers
· 2013–2026
· 2 conferences
· across top CS/AI conferences
Achievements
๐
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)