@InProceedings{sudoku2007,
  author  = {Martin Henz and Hoang-Minh Tuong},
  title   = {SudokuSat---A Tool for Analyzing Difficult Sudoku Puzzles},
  booktitle = {Proceedings of the First International Workshop on Applications with Artificial
Intelligence},
  year = {2007},
  publisher = {Springer-Verlag, Berlin},
  series = {Studies in Computational Intelligence},
  address = {Patras, Greece},
  note = {to appear},
}