Sudoku et problème SAT
12 octobre 2015
·
1 min. de lecture
http://continuum.io/blog/sudoku https://pypi.python.org/pypi/pycosat
http://sahandsaba.com/understanding-sat-by-implementing-a-simple-sat-solver-in-python.html
https://projecteuler.net/problem=96
https://en.wikipedia.org/wiki/Karp%27s _21_NP-complete_problems
http://www.quora.com/Logic-Puzzles/Is-there-a-solution-for-the-100-Boxes-game
http://www.st.ewi.tudelft.nl/~marijn/publications/eternity.pdf
http://www.wired.com/2015/10/major-advance-reveals-limits-computation/
Auteurs
Dr. Goulu
(il/lui)
Ingénieur à la retraite, toujours curieux et voyageur
EPFL MS Informatique 1988, PhD automatique 1994, eMBA Management of Technology