Extended beam search for non-exhaustive state space analysis
scientific article; zbMATH DE number 5990141
scientific article