Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Software model synthesis using satisfiability solvers
Symbolic model checking without BDDs
The Complexity of Temporal Logic Model Checking
PRISM : Probabilistic Symbolic Model Checker ?
Constraint satisfaction problems: Algorithms and applications
Should Algorithms for Random SAT and Max-SAT be Different?
Symbolic execution with mixed concrete-symbolic solving
Stochastic Model Checking
Reasoning about Constraint Models
Run-time efficient probabilistic model checking
SAT solving using FPGA-based heterogeneous computing
An Integer Programming Model for the Sudoku Problem
A lightweight symbolic virtual machine for solver-aided host languages
Improving configuration checking for satisfiable random k-SAT instances
An Exhaustive DPLL Algorithm for Model Counting
Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison
Extending SAT Solvers to Cryptographic Problems
Model checking csp revisited: Introducing a process analysis toolkit
An Experimental Evaluation of Fast Approximation Algorithms for the Maximum Satisfiability Problem
On Models Constructed by Means of the Arithmetized Completeness Theorem
OptiMathSAT: A Tool for Optimization Modulo Theories
A Computing Procedure for Quantification Theory
Cement and Concrete Nanoscience and Nanotechnology
heterogeneous communication architecture for the smart grid .
Estimating occupancy and abundance using aerial images with imperfect detection
Advanced shape context for plant species identification using leaf image retrieval