Konstantin Chukharev

According to our database, Konstantin Chukharev authored at least 5 papers between 2019 and 2022.

Collaborative distances:

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

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