Uwe Pfeiffer

According to our database, Uwe Pfeiffer authored at least 1 paper in 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

A Sudoku-Solver for Large Puzzles using SAT.

Uwe Pfeiffer, Tomas Karnagel, Guido Scheffler

Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010