Konrad-Zuse-Zentrum f ̈ur Informationstechnik Berlin THORSTEN KOCH Rapid Mathematical Programming or How to Solve Sudoku Puzzles in a few Seconds ZIB-Report 05-51 (Dec 2005)…