Stepan Kochemazov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
3
Active years
2016–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance. | Stepan Kochemazov, Oleg Zaikin, Grigorii Trofimiuk, Kirill Antonov, Alexander A. Semenov |
| 2024 | ECAI | Using Backdoors to Generate Learnt Information in SAT Solving. | Alexander Andreev, Konstantin Chukharev, Stepan Kochemazov, Alexander A. Semenov |
| 2023 | AAAI | Probabilistic Generalization of Backdoor Trees with Application to SAT. | Alexander A. Semenov, Daniil Chivilikhin, Stepan Kochemazov, Ibragim Dzhiblavi |
| 2022 | AAAI | On Probabilistic Generalization of Backdoors in Boolean Satisfiability. | Alexander A. Semenov, Artem Pavlenko, Daniil Chivilikhin, Stepan Kochemazov |
| 2021 | SAT | Assessing Progress in SAT Solvers Through the Lens of Incremental SAT. | Stepan Kochemazov, Alexey Ignatiev, Joo Marques-Silva |
| 2020 | ECAI | Speeding Up CDCL Inference with Duplicate Learnt Clauses. | Stepan Kochemazov, Oleg Zaikin, Alexander A. Semenov, Victor Kondratiev |
| 2020 | SAT | Improving Implementation of SAT Competitions 2017-2019 Winners. | Stepan Kochemazov |
| 2018 | AAAI | On Cryptographic Attacks Using Backdoors for SAT. | Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev |
| 2018 | SAT | ALIAS: A Modular Tool for Finding Backdoors for SAT. | Stepan Kochemazov, Oleg Zaikin |
| 2016 | ECAI | Encoding Cryptographic Functions to SAT Using TRANSALG System. | Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov |