Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: sudokusat - a tool for analyzing difficult sudoku puzzles .
Sudoku as a SAT Problem
Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
Nonrepetitive Paths and Cycles in Graphs with Application to Sudoku
Genetic Algorithm-Based Solver for Very Large Multiple Jigsaw Puzzles of Unknown Dimensions and Piece Orientation
solving sudoku with ant colony optimisation .
Sudoku Squares and Chromatic Polynomials
Solving Square Jigsaw Puzzles Using Dynamic Programming and the Hungarian Procedure
A global approach to automatic solution of jigsaw puzzles
Solving games Dependence of applicable solving procedures
A genetic-algorithm approach to solving crossword puzzles
Visualizing SAT Instances and Runs of the DPLL Algorithm
sudoku science .
Quantifying over play: Constraining undesirable solutions in puzzle design
Evolution for automatic assessment of the difficulty of sokoban boards
Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs
A fully automated greedy square jigsaw puzzle solver
Theory Solving Made Easy with Clingo 5
Solving Rubik's Cube Using SAT Solvers
A probabilistic image jigsaw puzzle solver
Solving a Binary Puzzle
The alldifferent Constraint: A Survey
A New Similarity Measure to Understand Visitor Behavior in a Web Site
Resin bonded bridges: techniques for success
Simple day-case surgery for pilonidal sinus disease
Reinforcement Learning Without Rewards