( en | de | ru )

 

Disambiguation of "Otpuschennikov, Ilya V."

Author of the publication

copydeleteadd this publication to your clipboard
Encoding Cryptographic Functions to SAT Using TRANSALG System.

, , , , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 1594-1595. IOS Press, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Katja Ilyashava

Maxim Ilyasov

Rimma Ilyasova

Ilya Pavlyukevich

Ilya Christoffel

 

Other publications of authors with the same name

On Some Variants of the Merging Variables Based (1+1)-Evolutionary Algorithm with Application to MaxSAT Problem., , and . MOTOR, volume 12755 of Lecture Notes in Computer Science, page 111-124. Springer, (2021)Encoding Cryptographic Functions to SAT Using TRANSALG System., , , , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 1594-1595. IOS Press, (2016)On one class of decision diagrams., and . Autom. Remote. Control., 77 (4): 617-628 (2016)Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems., , , , and . CoRR, (2018)Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems., , , , and . Log. Methods Comput. Sci., (2020)Using Decision Diagrams of Special Kind for Compactification of Conflict Data Bases Generated by CDCL SAT Solvers., , and . MIPRO, page 1046-1051. IEEE, (2020)Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT (Tool Paper)., , and . CoRR, (2014)Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks., , and . CoRR, (2014)On Cryptographic Attacks Using Backdoors for SAT., , , , and . AAAI, page 6641-6648. AAAI Press, (2018)Speeding up the Solving of Logical Equivalence Checking Problems with Disjunctive Diagrams., , and . MIPRO, page 1021-1026. IEEE, (2023)