López, Carlos Linares

6 publications

AAAI 2024 Rectangle Search: An Anytime Beam Search Sofia Lemons, Wheeler Ruml, Robert C. Holte, Carlos Linares López
AAAI 2024 When CEGAR Meets Regression: A Love Story in Optimal Classical Planning Martín Pozo, Álvaro Torralba, Carlos Linares López
IJCAI 2016 Abstraction Heuristics for Symbolic Bidirectional Search Álvaro Torralba, Carlos Linares López, Daniel Borrajo
IJCAI 2015 Sorting Sequential Portfolios in Automated Planning Sergio Núñez, Daniel Borrajo, Carlos Linares López
IJCAI 2013 Symbolic Merge-and-Shrink for Cost-Optimal Planning Álvaro Torralba Arias de Reyna, Carlos Linares López, Daniel Borrajo
IJCAI 2013 Target-Value Search Revisited Carlos Linares López, Roni Stern, Ariel Felner