Konstantin Chukharev

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 6

Top Topics

Continuous Time Bayesian Networks

Finite State Transducers

Top Venues

IEEE Trans. Ind. Informatics

Publications

A. Andreev, Konstantin Chukharev, Stepan Kochemazov, Alexander A. Semenov
Solving Influence Maximization Problem Under Deterministic Linear Threshold Model Using Metaheuristic optimization. MIPRO (2024)
Alexander A. Semenov, Konstantin Chukharev, Egor Tarasov, Daniil Chivilikhin, Viktor Kondratiev
Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits. CoRR (2022)
Konstantin Chukharev, Daniil Chivilikhin
fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver. IEEE Access 10 (2022)
Daniil Chivilikhin, Sandeep Patil, Konstantin Chukharev, Anthony Cordonnier, Valeriy Vyatkin
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. IEEE Trans. Ind. Informatics 16 (12) (2020)
Konstantin Chukharev, Dmitrii Suvorov, Daniil Chivilikhin, Valeriy Vyatkin
SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers. IEEE Access 8 (2020)
Konstantin Chukharev, Daniil Chivilikhin
fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks. CoRR (2019)