Ilya V. Otpuschennikov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2016–2021
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CP | Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms. | Alexander A. Semenov, Daniil Chivilikhin, Artem Pavlenko, Ilya V. Otpuschennikov, Vladimir Ulyantsev, Alexey Ignatiev |
| 2018 | AAAI | On Cryptographic Attacks Using Backdoors for SAT. | Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev |
| 2016 | ECAI | Encoding Cryptographic Functions to SAT Using TRANSALG System. | Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov |