Encoding Cryptographic Functions to SAT Using TRANSALG System - Citation Graph | Papersgraph