[http://www.cs.qub.ac.uk/~I.Spence/SuDoku/SuDoku.html] - 2019-11-21 04:52:43 - public:stevetao

SAT, Satisfiability, Sudoku - 3 | id:272028 -