Table of Contents Author Guidelines Submit a Manuscript
Computational Intelligence and Neuroscience
Volume 2015 (2015), Article ID 286354, 10 pages
http://dx.doi.org/10.1155/2015/286354
Research Article

A Hybrid alldifferent-Tabu Search Algorithm for Solving Sudoku Puzzles

1Pontificia Universidad Católica de Valparaíso, 2362807 Valparaíso, Chile
2Universidad Autónoma de Chile, 7500138 Santiago, Chile
3Universidad Cientifica del Sur, Lima 18 Lima, Peru
4Universidad Central de Chile, 8370178 Santiago, Chile
5Universidad San Sebastián, 8420524 Santiago, Chile
6Escuela de Ingeniería Industrial, Universidad Diego Portales, 8370109 Santiago, Chile
7Facultad de Ingeniería, Universidad Santo Tomás, 2561694 Viña del Mar, Chile

Received 7 January 2015; Accepted 24 April 2015

Academic Editor: Christian W. Dawson

Copyright © 2015 Ricardo Soto et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. G. McGuire, B. Tugemann, and G. Civario, “There is no 16-clue Sudoku: solving the Sudoku minimum number of clues problem,” http://arxiv.org/abs/1201.0749.
  2. F. Rossi, P. van Beek, and T. Walsh, Handbook of Constraint Programming, Elsevier, 2006.
  3. H. Simonis, “Sudoku as a constraint problem,” in Proceedings 4th International Works. Modelling and Reformulating Constraint Satisfaction Problems, B. Hnich, P. Prosser, and B. Smith, Eds., pp. 13–27, 2005.
  4. I. Lynce and J. Ouaknine, “Sudoku as a SAT problem,” in Proceedings of the 9th International Symposium on Artificial Intelligence and Mathematics (ISAIM '06), Springer, January 2006. View at Scopus
  5. A. Moraglio, J. Togelius, and S. Lucas, “Product geometric crossover for the Sudoku puzzle,” in Proceedings of the IEEE Congress on Evolutionary Computation (CEC '06), pp. 470–476, IEEE, Vancouver, Canada, July 2006. View at Publisher · View at Google Scholar · View at Scopus
  6. M. Asif and R. Baig, “Solving NP-Complete problem using ACO algorithm,” in Proceedings of the International Conference on Emerging Technologies (ICET '09), pp. 13–16, Islamabad, Pakistan, October 2009. View at Publisher · View at Google Scholar · View at Scopus
  7. R. Soto, B. Crawford, C. Galleguillos, E. Monfroy, and F. Paredes, “A prefiltered cuckoo search algorithm with geometric operators for solving Sudoku problems,” The Scientific World Journal, vol. 2014, Article ID 465359, 12 pages, 2014. View at Publisher · View at Google Scholar · View at Scopus
  8. R. Soto, B. Crawford, C. Galleguillos, E. Monfroy, and F. Paredes, “A hybrid AC3-tabu search algorithm for solving Sudoku puzzles,” Expert Systems with Applications, vol. 40, no. 15, pp. 5817–5821, 2013. View at Publisher · View at Google Scholar · View at Scopus
  9. T. K. Moon, J. H. Gunther, and J. J. Kupin, “Sinkhorn solves Sudoku,” IEEE Transactions on Information Theory, vol. 55, no. 4, pp. 1741–1746, 2009. View at Publisher · View at Google Scholar · View at MathSciNet
  10. G. Santos-García and M. Palomino, “Solving Sudoku puzzles with rewriting rules,” Electronic Notes in Theoretical Computer Science, vol. 176, no. 4, pp. 79–93, 2007, Proceedings of the 6th International Workshop on Rewriting Logic and Its Applications (WRLA ’06). View at Publisher · View at Google Scholar
  11. J. Gunther and T. Moon, “Entropy minimization for solving Sudoku,” IEEE Transactions on Signal Processing, vol. 60, no. 1, pp. 508–513, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  12. J. Puget, “A fast algorithm for the bound consistency of alldiffconstraints,” in Proceedings of the 15th National Conference on Artificial Intelligence (AAAI '98) and 10th Innovative Applications of Artificial Intelligence Conference (IAAI '98), pp. 359–366, Madison, Wis, USA, July 1998.
  13. J. Hall, “Distinct representatives of subsets,” Bulletin of the American Mathematical Society, vol. 54, pp. 922–926, 1948. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  14. R. Lewis, “Metaheuristics can solve Sudoku puzzles,” Journal of Heuristics, vol. 13, no. 4, pp. 387–401, 2007. View at Publisher · View at Google Scholar · View at Scopus
  15. A. Moraglio and J. Togelius, “Geometric particle swarm optimization for the Sudoku puzzle,” in Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation (GECCO '07), pp. 118–125, ACM, July 2007. View at Publisher · View at Google Scholar · View at Scopus
  16. X. Q. Deng and Y. D. Li, “A novel hybrid genetic algorithm for solving Sudoku puzzles,” Optimization Letters, vol. 7, no. 2, pp. 241–257, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  17. F. Lardeux, E. Monfroy, F. Saubion, B. Crawford, and C. Castro, “Overlapping Alldifferent constraints and the Sudoku puzzle,” in 34th Conferencia Latinoamericana de Informatica (CLEI '08), Santa Fe, Argentina, September 2008.
  18. F. Glover, “Tabu search—part I,” ORSA Journal on Computing, vol. 1, no. 3, pp. 190–206, 1989. View at Publisher · View at Google Scholar
  19. F. Glover, “Tabu search—part II,” ORSA Journal on Computing, vol. 2, no. 1, pp. 4–32, 1990. View at Google Scholar
  20. R. Dechter, Constraint Processing, Elsevier Morgan Kaufmann, 2003.
  21. C. P. Gomes and D. Shmoys, “Completing quasigroups or Latin squares: a structured graph coloring problem,” in Proceedings of the Computational Symposium on Graph Coloring and Generalizations, Ithaca, NY, USA, 2002.
  22. N. Barnier and P. Brisset, “Graph coloring for air traffic flow management,” in Proceedings of the 4th International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR '02), N. Jussien and F. Laburthe, Eds., pp. 133–147, Le Croisic, France, March 2002.
  23. S. Asaf, H. Eran, Y. Richter et al., “Applying constraint programming to identification and assignment of service professionals,” in Principles and Practice of Constraint Programming—CP 2010, D. Cohen, Ed., vol. 6308 of Lecture Notes in Computer Science, pp. 24–37, Springer, Berlin, Germany, 2010. View at Publisher · View at Google Scholar
  24. W. J. van Hoeve, “The alldifferent constraint: a survey,” Computing Research Repository, CoRR cs.PL/0105015, 2001. View at Google Scholar
  25. J.-L. Lauriere, “A language and a program for stating and solving combinatorial problems,” Artificial Intelligence, vol. 10, no. 1, pp. 29–127, 1978. View at Publisher · View at Google Scholar · View at MathSciNet
  26. T. Mantere and J. Koljonen, “Solving, rating and generating Sudoku puzzles with GA,” in Proceedings of the IEEE Congress on Evolutionary Computation (CEC '07), pp. 1382–1389, September 2007. View at Publisher · View at Google Scholar · View at Scopus
  27. T. Mantere and J. Koljonen, “Sudoku research page,” 2008, http://lipas.uwasa.fi/~timan/sudoku/.
  28. A. Inkala, AI Escargot—The Most Diffcult Sudoku Puzzle, Lulu, 978th edition, 2007.
  29. T. Mantere and J. Koljonen, “Solving and rating Sudoku puzzles with genetic algorithms,” in New Developments in Artificial Intelligence and the Semantic Web: Proceedings of the 12th Finnish Artificial Intelligence Conference (STeP ’06), pp. 86–92, 2006. View at Google Scholar
  30. T. Mantere and J. Koljonen, “Solving and analyzing Sudokus with cultural algorithms,” in Proceedings of the IEEE Congress on Evolutionary Computation (CEC '08), pp. 4053–4060, IEEE World Congress on Computational Intelligence, June 2008. View at Publisher · View at Google Scholar · View at Scopus
  31. A. K. Mackworth, “Consistency in networks of relations,” Artificial Intelligence, vol. 8, no. 1, pp. 99–118, 1977. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  32. X.-S. Yang and S. Deb, “Cuckoo search via Lévy flights,” in Proceedings of the World Congress on Nature and Biologically Inspired Computing (NABIC '09), pp. 210–214, December 2009. View at Publisher · View at Google Scholar · View at Scopus