Sang Bong Oh An Analytical Evidence for Kalé's Heuristic for the N Queens Problem. 51-54 1993 46 Inf. Process. Lett. 1 db/journals/ipl/ipl46.html#Oh93