Sciweavers

ATVA
2007
Springer
118views Hardware» more  ATVA 2007»
14 years 5 months ago
Pruning State Spaces with Extended Beam Search
This paper focuses on using beam search, a heuristic search algorithm, for pruning state spaces while generating. The original beam search is adapted to the state space generation ...
Muhammad Torabi Dashti, Anton Wijs