@InCollection{TAAI2009,
  author  = {Martin Henz and Hoang-Minh Truong},
  title   = {{SudokuSat}---A Tool for Analyzing Difficult {Sudoku} Puzzles},
  booktitle = {Tools and Applications with Artificial Intelligence},
  editor = {Constantinos Koutsojannis and
               Spiros Sirmakessis},
  year = {2009},
  publisher = {Springer-Verlag, Berlin},
  series = {Studies in Computational Intelligence},
  volume = {166},
  isbn = {978-3-540-88068-4},
}