Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT (Tool Paper)
Extending SAT Solvers to Cryptographic Problems