Automatic lighthouse generation for directed state space search | IEEE Conference Publication | IEEE Xplore