APA (7th ed.) Citation
(2020). Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems. Logical Methods in Computer Science.
Chicago Style (17th ed.) Citation
"Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems." Logical Methods in Computer Science 2020.
MLA (9th ed.) Citation
"Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems." Logical Methods in Computer Science, 2020.
Warning: These citations may not always be 100% accurate.