Carlos Linares Lopez

7 papers · 2013–2026 · 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 ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Silver 🚀 Conference Pioneer

Venues

IJCAI (4) AAAI (3)

Top co-authors

Álvaro Torralba (4) Daniel Borrajo (3) Martín Pozo (2) Roni Stern (1) Sergio Núñez (1) Ariel Felner (1) Rob Holte (1) Sofia Lemons (1) Wheeler Ruml (1)

Research topics

Artificial Intelligence (3) Core AI (3) Computer Science (1) Machine Learning (1) Mathematics & Optimization (1) Foundations (1) Optimization (1) Optimization & Theory (1)

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