Efficient search techniques—An empirical study of the N-Queens Problem | IBM Journals & Magazine | IEEE Xplore