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

Martn Pozo, lvaro Torralba, Carlos Linares Lpez

Browse the full AAAI paper archive.