Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Extending SAT Solvers to Cryptographic Problems
Visualizing SAT Instances and Runs of the DPLL Algorithm
Solution of a Classical Cryptarithmetic Problem by using parallel genetic algorithm
An Algebraic Method For Public-Key Cryptography
A first glimpse of cryptography's Holy Grail
Software and Hardware Implementation of Lattice-Cased Cryptography Schemes
Toward Provable Security Against Differential and Linear Cryptanalysis for Camellia and Related Ciphers
A Dynamic Approach for MPE and Weighted MAX-SAT
A Study on Cryptography using Genetic Algorithm
Interactive Locking, Zero-Knowledge PCPs, and Unconditional Cryptography
Valued Constraint Satisfaction Problems: Hard and Easy Problems
Forward and Backward Private Searchable Encryption from Constrained Cryptographic Primitives
Predicate Encryption Supporting Disjunctions, Polynomial Equations, and Inner Products
New Cryptographic Primitives
Solving Verbal Crypto-Arithmetic Problem by Parallel Genetic Algorithm (PGA)
SAT solving using FPGA-based heterogeneous computing
Constraint Programming : In Pursuit of the Holy Grail
Sudoku as a Constraint Satisfaction Problem
sat versus unsat .
Lightweight Cryptography: Cryptographic Engineering for a Pervasive World
Sieve algorithms for the shortest vector problem are practical
New Techniques that Improve MACE-style Finite Model Finding
Analyses of Triaxial Accelerometer Calibration Algorithms
Efficacy and safety of tadalafil once daily in the treatment of men with lower urinary tract symptoms suggestive of benign prostatic hyperplasia: results of an international randomized, double-blind, placebo-controlled trial.
Data Analytics based Deep Mayo Predictor for IPL-9
Efficient top-k aggregation of ranked inputs