Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Solving odd even sudoku puzzles by binary integer linear programming
Metaheuristics can Solve Sudoku Puzzles
sudokus and grobner bases : not only a divertimento .
An evolutionary approach to sudoku puzzles with filtered mutations
Enumerating possible Sudoku grids
Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs
solving sudoku with ant colony optimisation .
Deterministic and metaheuristic approaches to solving Kakuro puzzles
sudokusat - a tool for analyzing difficult sudoku puzzles .
Constraint Programming : In Pursuit of the Holy Grail
Matching: a well-solved class of integer linear programs
Combinatorial Designs by SAT Solvers.
difficulty rating of sudoku puzzles by a computational model .
Planning with Specialized SAT Solvers
Optimization With Parity Constraints: From Binary Codes to Discrete Integration
Genetic Algorithm-Based Solver for Very Large Multiple Jigsaw Puzzles of Unknown Dimensions and Piece Orientation
Solving Rubik's Cube Using SAT Solvers
Symmetry Breaking in Constraint Programming
Set Constraint Model and Automated Encoding into SAT: Application to the Social Golfer Problem
Satisfiability Solvers
Difficulty Rating of Sudoku Puzzles: An Overview and Evaluation
Strengthening Transversus Abdominis in Pregnancy Related Pelvic Pain: The Pressure Biofeedback Stabilization Training
Joint Graph Decomposition & Node Labeling: Problem, Algorithms, Applications
Graph Coloring with Adaptive Evolutionary Algorithms
An Approximate, Efficient Solver for LP Rounding
Geography of Twitter networks