Konstantin Chukharev

According to our database, Konstantin Chukharev authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Solving Influence Maximization Problem Under Deterministic Linear Threshold Model Using Metaheuristic optimization.

Alexander Andreev, Konstantin Chukharev, Stepan Kochemazov, Alexander A. Semenov

Proceedings of the 47th MIPRO ICT and Electronics Convention, 2024

Using Backdoors to Generate Learnt Information in SAT Solving.

Alexander Andreev, Konstantin Chukharev, Stepan Kochemazov, Alexander A. Semenov

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

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

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver.

Konstantin Chukharev, Daniil Chivilikhin

IEEE Access, 2022

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

SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers.

Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin

IEEE Access, 2020

2019

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks.

Konstantin Chukharev, Daniil Chivilikhin

CoRR, 2019