Band search: an efficient alternative to guided depth-first search | IEEE Conference Publication | IEEE Xplore