sudoku as a sat problem：数独作为一个sat问题

Sudoku as a SAT ProblemInês LynceIST/INESC-ID, Technical University of Lisbon, Portugalines@sat.ines