Efficient local search with conflict minimization: a case study of the n-queens problem | IEEE Journals & Magazine | IEEE Xplore