Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: HordeQBF: A Modular and Massively Parallel QBF Solver
An Extensible SAT-solver
Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case
Visualizing SAT Instances and Runs of the DPLL Algorithm
An Efficient Implementation for WalkSAT
A Human Computation Framework for Boosting Combinatorial Solvers
Answer Sets and the Language of Answer Set Programming
Planning as Satisfiability: Heuristics
An algorithm for deciding BAPA: Boolean Algebra with Presburger Arithmetic
Complex Optimization in Answer Set Programming
Minion: A Fast Scalable Constraint Solver
STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving
Directional Resolution: The Davis-Putnam Procedure, Revisited
Should Algorithms for Random SAT and Max-SAT be Different?
COGEX: A Logic Prover For Question Answering
DPLL( T): Fast Decision Procedures
Implementing the Davis–Putnam Method
SAT solving using FPGA-based heterogeneous computing
Constraint Programming : In Pursuit of the Holy Grail
Parallelizing the Spin Model Checker
Backdoors to tractable answer set programming
product recognition with a graphical shelf model .
Throwing effectiveness and rotational strength of the shoulder in team handball.
Aligning Superintelligence with Human Interests : A Technical Research Agenda
A machine program for theorem-proving
Training Deep AutoEncoders for Collaborative Filtering