Nikita Slezkin

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 5

Top Topics

Boolean Satisfiability

Top Venues

Electron. Colloquium Comput. Complex.

Publications

Alexander S. Kulikov, Danila Pechenev, Nikita Slezkin
SAT-Based Circuit Local Improvement. MFCS (2022)
Gregory Emdin, Alexander S. Kulikov, Ivan Mihajlin, Nikita Slezkin
CNF Encodings of Parity. CoRR (2022)
Gregory Emdin, Alexander S. Kulikov, Ivan Mihajlin, Nikita Slezkin
CNF Encodings of Parity. MFCS (2022)
Alexander S. Kulikov, Nikita Slezkin
SAT-based Circuit Local Improvement. CoRR (2021)
Alexander S. Kulikov, Nikita Slezkin
SAT-based Circuit Local Improvement. Electron. Colloquium Comput. Complex. 28 (2021)