Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Solving Sudoku with Boolean Algebra
Sinkhorn Solves Sudoku
Symbolic Boolean manipulation with ordered binary-decision diagrams
Generating highly balanced sudoku problems as hard problems
Solving Rubik's Cube Using SAT Solvers
XSat: A Fast Floating-Point Satisfiability Solver
Planning with Specialized SAT Solvers
Should Algorithms for Random SAT and Max-SAT be Different?
Dr.Fill: Crosswords and an Implemented Solver for Singly Weighted CSPs
Combinatorial Designs by SAT Solvers.
The impact of branching heuristics in propositional satisfiability algorithms
Deterministic and metaheuristic approaches to solving Kakuro puzzles
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
An Efficient Implementation for WalkSAT
Theory Solving Made Easy with Clingo 5
A complexity theory based on Boolean algebra
Solving constraint satisfaction problems with SAT modulo theories
Geometric particle swarm optimization for the sudoku puzzle
SATzilla: Portfolio-based Algorithm Selection for SAT
An algorithm for deciding BAPA: Boolean Algebra with Presburger Arithmetic
The Boolean Constraint Solver of SWI-Prolog (System Description)
Designing for the Safety of Pedestrians, Cyclists, and Motorists in Urban Environments
Elements of Infor-mation Theory
Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems
Mindfulness Mechanisms in Sports: Mediating Effects of Rumination and Emotion Regulation on Sport-Specific Coping
Gated Fusion Network for Joint Image Deblurring and Super-Resolution