Carlos Linares Lopez

2
Papers
0
Total Citations

Papers (2)

When CEGAR Meets Regression: A Love Story in Optimal Classical Planning

AAAI 2024
0
citations

Rectangle Search: An Anytime Beam Search

AAAI 2024arXiv
0
citations