E. Zambon and A. Rensink, “Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices”, ECEASST, vol. 67, Aug. 2014.