Evaluating the security of logic encryption algorithms
Extending SAT Solvers to Cryptographic Problems