Taming the Search Space: Solving and Generating Hitori and Binairo Puzzles

Lukas Zandomeneghi, Rainhard Dieter Findling, Marc Kurz

This paper investigates solving and generation techniques for the logic puzzles Hitori and Binairo. Two solving paradigms are compared: backtracking with domain-specific optimizati…