Toward a Search Strategy for Anytime Search in Linear Space Using Depth-First Branch and Bound.

Carlos Hernndez, Jorge A. Baier

Browse the full SoCS paper archive.