Corpus ID: 2325173

Creating Logic Puzzles

  title={Creating Logic Puzzles},
  author={Bart Peintner},
A logic puzzle is a form of entertainment that asks the solver to infer relationships between objects given a set a clues. Each clue is a portion of the solution. A good puzzle is one that is challenging one that that requires the solver to make difficult inferences to realize each part of the solution. My goal was to find an algorithm that, given a solution to a puzzle, would generate a set of clues that would make the puzzle difficult for a person to solve. In this paper, I describe the logic… Expand

Figures and Tables from this paper


Knowledge compilation and theory approximation
  • 341
  • PDF
On the Relationship between Abduction and Deduction
  • 306
  • Highly Influential
Inverse entailment and progol
  • 874
  • PDF
Polynomially Complete Problems in the Logic of Automated Discovery
  • 9
Abductive Logic Programming
  • 880
Analysis and Visualization of Constraint Programs and Solvers Workshop
  • "Flexibly Instructable Agents",
  • 1979