We show how to characterize puzzles by logic programs and how to use those characterizations to build puzzles automatically. We can control the difficulty level of the puzzles by choosing how and when to invoke the logic program.

This paper focuses on the re-assembly of an archaeological artifact, given images its fragments. problem can be considered as a special challenging case puzzle solving. The restricted natural image from square pieces has been investigated extensively and was shown to difficult in own right. Likewise, matching “clean” 2D polygons/splines based solely their geometric properties studied. But what ...

For more than a century, physics has known of a puzzling conflict between the T-asymmetry of thermodynamic phenomena and the T-symmetry of the underlying microphysics on which these phenomena depend. This paper provides a guide to the current status of this puzzle, distinguishing the central issue from various issues with which it may be confused. It is shown that there are two competing concep...

Originally puzzles were not for recreation, but serious questions you might be killed if you couldn’t solve them. But in modern times, puzzles had become a sort of recreation, decreasing the seriousness and religiousness gradually. Now, the ‘rule creators’ of puzzles began to attract notice. I, as a rule creator, published a book, Kyoto University Student, Higashida’s Puzzles. I’ll show several...

1 Two Puzzles Here are two challenging puzzles.

Sudoku puzzles enjoy world-wide popularity, and a large community of puzzlers is hoping for ever more difficult puzzles. A crucial step for generating difficult Sudoku puzzles is the fast assessment of the difficulty of a puzzle. In a study in 2006, it has been shown that SAT solving provides a way to efficiently differentiate between Sudoku puzzles according to their difficulty, by analyzing w...