Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper.
Query: Multi-shot ASP solving with clingo
Theory Solving Made Easy with Clingo 5
On the relation between SPARQL1.1 and Answer Set Programming
Constraint satisfaction using constraint logic programming
CAMA: A Multi-Valued Satisfiability Solver
Satisfiability Solvers
constraint logic programming : a survey .
BerkMin: A Fast and Robust Sat-Solver
Complex Preferences for Answer Set Optimization
An Extensible SAT-solver
Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison
Stochastic local search for satisfiability modulo theories
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
Minion: A Fast Scalable Constraint Solver
Solving constraint satisfaction problems with SAT modulo theories
Tracing and Explaining Execution of CLP(FD) Programs
PDDL+ Planning via Constraint Answer Set Programming
Planning with Specialized SAT Solvers
Inductive Learning of Answer Set Programs from Noisy Examples
XSat: A Fast Floating-Point Satisfiability Solver
Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
Convolutional neural network for vehicle detection in low resolution traffic videos
Analyzing Language Learned by an Active Question Answering Agent
State-of-the-art MEMS and microsystem tools for brain research
Classical negation in logic programs and disjunctive databases
Modeling and Control of Marine Diesel Generator System With Active Protection