Uni-Logo

Institut für Informatik
 

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)