Complete Anytime Beam Search
Combinatorial optimization : algorithms and complexity