Technical Report No. 259 - Abstract
Blai Bonet, Malte Helmert
Strengthening Landmark Heuristics via Hitting Sets: Proofs
This technical report contains the proofs for the ECAI 2010 paper "Strengthening Landmark Heuristics via Hitting Sets".
Report No. 259 (PostScript)