Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: An Exhaustive DPLL Algorithm for Model Counting
On probabilistic inference by weighted model counting
An Efficient Implementation for WalkSAT
Theory Solving Made Easy with Clingo 5
On Compiling CNF into Decision-DNNF
Combining Component Caching and Clause Learning for Effective Model Counting
Should Algorithms for Random SAT and Max-SAT be Different?
Closing the Gap Between Short and Long XORs for Model Counting
Model checking csp revisited: Introducing a process analysis toolkit
An algorithm for deciding BAPA: Boolean Algebra with Presburger Arithmetic
DTMC Model Checking by SCC Reduction
Survey propagation: an algorithm for satisfiability
The Ins and Outs of the Probabilistic Model Checker MRMC
PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model of Computation
FO Model Checking on Posets of Bounded Width
Compiling probabilistic graphical models using sentential decision diagrams
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
Reduction Techniques for Model Checking Markov Decision Processes
AND/OR branch-and-bound search for combinatorial optimization in graphical models
An Extensible SAT-solver
Complexity of k-SAT
A Compiler for Deterministic, Decomposable Negation Normal Form
Navigating nets: simple algorithms for proximity search
Universal entropy estimation via block sorting
MobileNets for flower classification using TensorFlow
Passive technologies for future large-scale photonic integrated circuits on silicon: polarization handling, light non-reciprocity and loss reduction