Overlapping Alldiff constraints: SAT versus CSP encoding application to the Sudoku

Eric Monfroy; Broderick Crawford; Ricardo Soto; Fern; o Paredes

doi:10.5897/IJPS11.880

International Journal of
Physical Sciences

Abbreviation: Int. J. Phys. Sci.
Language: English
ISSN: 1992-1950
DOI: 10.5897/IJPS
Start Year: 2006
Published Articles: 2572

Full Length Research Paper

Overlapping Alldiff constraints: SAT versus CSP encoding application to the Sudoku

Eric Monfroy1,2*, Broderick Crawford1,3, Ricardo Soto3,4 and Fernando Paredes5

1Universidad Técnica Federico Santa María, Department, de Informática, Av. España 1680, Valparaíso, Chile. 2CNRS, LINA, Université de Nantes, France. 3Pontificia Universidad Católica de Valparaíso, Chile. 4Universidad Autónoma de Chile, Chile. 5Escuela de Ingeniería Industrial, Universidad Diego Portales, Santiago, Chile.
Email: [email protected]

Article Number - 7B3498125394
Vol.6(25), pp. 5937-5950 , October 2011
https://doi.org/10.5897/IJPS11.880

Accepted: 18 August 2011
Published: 23 October 2011

Copyright © 2024 Author(s) retain the copyright of this article.
This article is published under the terms of the Creative Commons Attribution License 4.0.