Closing the Gap Between Short and Long XORs for Model Counting
Extending SAT Solvers to Cryptographic Problems