Hans Zantema: Complexity of puzzles

Event Details

For several puzzles (often from Japanese origin) the following can be investigated

  • How to solve them, either by backtracking or by SAT/SMT?
  • How to generate them?
  • How to prove NP-completeness?

Currently I supervise several students in Nijmegen doing projects in this area. In this talk these projects will be discussed.