Focal Discrepancy Search for Learned Heuristics (Extended Abstract).

Matias Greco, Pablo Araneda, Jorge A. Baier

Browse the full SoCS paper archive.