Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Theory Solving Made Easy with Clingo 5
Conflict-Driven Answer Set Solving: From Theory to Practice
A Tutorial on Constraint Programming
Logical Rule Induction and Theory Learning Using Neural Theorem Proving
Interactive Theorem Proving
Interactive Theorem Proving and Program Development
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
Constraint programming
Bounded Model Checking Using Satisfiability Solving
The yices smt solver
Learning-assisted theorem proving with millions of lemmas☆
Planning as Satisfiability: Heuristics
A machine program for theorem-proving
An Efficient Implementation for WalkSAT
Foundations of Constraint Satisfaction
Model-Driven Constraint Programming
Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case
PowerPlay: Training an Increasingly General Problem Solver by Continually Searching for the Simplest Still Unsolvable Problem
Implementing the Davis–Putnam Method
The impact of branching heuristics in propositional satisfiability algorithms
The TPTP Problem Library
SalGAN: Visual Saliency Prediction with Generative Adversarial Networks
Compact Multi-Band H-Shaped Slot Antenna
answer set programming and plan generation .
Dual-Polarized Broadband Array Antenna With BOR-Elements, Mechanical Design and Measurements
Genital lichen sclerosus/balanitis xerotica obliterans in men with penile carcinoma: a critical analysis