Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: The finite domain constraint solver of SWI-Prolog
An Overview of the SWI-Prolog Programming Environment
constraint logic programming : a survey .
On the Implementation of GNU Prolog
SWI-Prolog version 7 extensions
Planning with Specialized SAT Solvers
GOLOG: A Logic Programming Language for Dynamic Domains
Model-Driven Constraint Programming
The yices smt solver
Conflict-Driven Answer Set Solving: From Theory to Practice
the semantics of constraint logic programs .
BerkMin: A Fast and Robust Sat-Solver
Satisfiability Solvers
XSat: A Fast Floating-Point Satisfiability Solver
Stochastic local search for satisfiability modulo theories
A Tutorial on Constraint Programming
Z3: An Efficient SMT Solver
Principles of Constraint Programming
Strong and Weak Constraints in Disjunctive Datalog
Answer Sets and the Language of Answer Set Programming
PDDL+ Planning via Constraint Answer Set Programming
Modeling metacognition for learning in artificial systems
Augmented reality in neurosurgery: a systematic review
Applying deep learning approaches for network traffic prediction
A Deep Network Model for Paraphrase Detection in Short Text Messages
Prolog and natural-language analysis