Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
A unified approach to the theory of sampling systems
Applications of random sampling in computational geometry, II
Gaussian Sampling over the Integers: Efficient, Generic, Constant-Time
Subsampling-Based Approximate Monte Carlo for Discrete Distributions.
Random sampling techniques for space efficient online computation of order statistics of large datasets
The Complexity of Enumeration and Reliability Problems
Efficient progressive sampling
Monte Carlo sampling methods using Markov chains and their applications
Black-box Importance Sampling
Scan Order in Gibbs Sampling: Models in Which it Matters and Bounds on How Much
Advances in Lifted Importance Sampling
Optimized stratified sampling for approximate query processing
An Exhaustive DPLL Algorithm for Model Counting
0-Bit Consistent Weighted Sampling
Precise Undersampling Theorems
On probabilistic inference by weighted model counting
Random sampling for histogram construction: how much is enough?
Safe Adaptive Importance Sampling
Boosting Combinatorial Search Through Randomization
Knowledge Base Completion using Compositional Vector Space Models
Novel Common Vehicle Information Model (CVIM) for Future Automotive Vehicle Big Data Marketplaces
power - duration relationship : physiology , fatigue , and the limits of human performance .
Graph-Based Algorithms for Boolean Function Manipulation
Longitudinal Study of Automatic Face Recognition