Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Impact of Community Structure on SAT Solver Performance
An Extensible SAT-solver
Extending SAT Solvers to Cryptographic Problems
XSat: A Fast Floating-Point Satisfiability Solver
Diversified Top-k Partial MaxSAT Solving
A Dynamic Approach for MPE and Weighted MAX-SAT
Combinatorial Designs by SAT Solvers.
CAMA: A Multi-Valued Satisfiability Solver
Survey propagation: an algorithm for satisfiability
Configuration Checking with Aspiration in Local Search for SAT
The impact of branching heuristics in propositional satisfiability algorithms
Finding Preference Profiles of Condorcet Dimension $k$ via SAT
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving
Planning as Satisfiability: Heuristics
An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem
Solving the all-interval series problem: SAT vs CP
Stochastic local search for satisfiability modulo theories
Improved upper bounds for 3-SAT
A Human Computation Framework for Boosting Combinatorial Solvers
Foundations of Constraint Satisfaction
algorithms for constraint - satisfaction problems : a survey .
spatio - temporal analysis of team sports - a survey .
Validation in interpretive management accounting research
Finding and evaluating community structure in networks
The Most Popular Smartphone Apps for Weight Loss: A Quality Assessment
Secure data sharing in multi-clouds