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.