Hinter den KulissenHinter den Fällen: Wie ein Computer beweist, dass jeder Fall genau eine Lösung hat
„Kein Raten“ ist kein Werbespruch – es ist ein Beweis. So wird jeder Krimi-Sudoku-Fall maschinell darauf geprüft, dass er genau eine logische Lösung hat.












