Spider Search: An Efficient and Non-Frontier-Based Real-Time Search Algorithm | IEEE Conference Publication | IEEE Xplore