SAT-based Circuit Local Improvement. - Alexander S. Kulikov; Nikita Slezkin (Electron. Colloquium Comput. Complex., 2021)

CNF Encodings of Parity. - Gregory Emdin; Alexander S. Kulikov; Ivan Mihajlin; Nikita Slezkin (MFCS, 2022)

SAT-Based Circuit Local Improvement. - Alexander S. Kulikov; Danila Pechenev; Nikita Slezkin (MFCS, 2022)

CNF Encodings of Symmetric Functions. - Gregory Emdin; Alexander S. Kulikov; Ivan Mihajlin; Nikita Slezkin (Theory Comput. Syst., 2024)