fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks. - Konstantin Chukharev; Daniil Chivilikhin (CoRR, 2019)

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers. - Konstantin Chukharev; Dmitrii Suvorov; Daniil Chivilikhin; Valeriy Vyatkin (IEEE Access, 2020)

Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. - Daniil Chivilikhin; Sandeep Patil; Konstantin Chukharev; Anthony Cordonnier; Valeriy Vyatkin (IEEE Trans. Ind. Informatics, 2020)

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver. - Konstantin Chukharev; Daniil Chivilikhin (IEEE Access, 2022)

Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits. - Alexander A. Semenov; Konstantin Chukharev; Egor Tarasov; Daniil Chivilikhin; Viktor Kondratiev (CoRR, 2022)

Using Backdoors to Generate Learnt Information in SAT Solving. - Alexander Andreev; Konstantin Chukharev; Stepan Kochemazov; Alexander A. Semenov (ECAI, 2024)

Solving Influence Maximization Problem Under Deterministic Linear Threshold Model Using Metaheuristic optimization. - Alexander Andreev; Konstantin Chukharev; Stepan Kochemazov; Alexander A. Semenov (MIPRO, 2024)

Effective Partitioning Method With Predictable Hardness for CircuitSAT. - Konstantin Chukharev; Irina Gribanova; Dmitry Ivanov; Stepan Kochemazov; Victor Kondratiev; Alexander A. Semenov (IEEE Access, 2025)