Чухарев Константин Игоревич

Статья

Chukharev K., Gribanova I., Ivanov D., Kochemazov S., Kondratiev V., Semenov A. Effective Partitioning Method With Predictable Hardness for CircuitSAT. IEEE Access. 2025. Vol. 13. pp. 4218-4234.

Статья

Andreev A., Chukharev K., Kochemazov S., Semenov A. Solving Influence Maximization Problem under Deterministic Linear Threshold Model Using Metaheuristic Optimization. 47th MIPRO ICT and Electronics Convention (MIPRO). 2024. pp. 19-24.

Статья

Semenov A., Chukharev K., Tarasov E., Chivilikhin D., Kondratiev V. Estimating the hardness of SAT encodings for Logical Equivalence Checking of Boolean circuits. arXiv.org [база препринтов]. 2022. pp. 1-20.

Статья

Chukharev K., Chivilikhin D. fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver. IEEE Access. 2022. Vol. 10. pp. 131592-131610.

Тезисы

Методы декомпозиции задачи булевой выполнимости для проверки эквивалентности логических схем

Тезисы

Синтез конечно-автоматных алгоритмов управления для программируемых логических контроллеров в распределенных киберфизических системах

Тезисы

Расширение fbSAT для использования техники «предположений»

Тезисы

Синтез модульных конечно-автоматных моделей по библиотеке модулей с помощью SAT-решателей

Статья

Chukharev K., Suvorov D., Chivilikhin D., Vyatkin V. SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers. IEEE Access. 2020. Vol. 8. pp. 207485-207498.

Статья

Chivilikhin D., Patil S., Chukharev K.I., Cordonnier A., Vyatkin V. Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver. IEEE Transactions on Industrial Informatics. 2020. Vol. 16. No. 12. pp. 7821-7831.

Статья

Чухарев К.И. Применение инкрементальных SAT-решателей для решения NP-трудных задач на примере задачи синтеза минимальных булевых формул [Application of incremental satisfiability problem solvers for non-deterministic polynomial-time hard problems as illustrated by minimal boolean formula synthesis problem]. Научно-технический вестник информационных технологий, механики и оптики [Scientific and Technical Journal of Information Technologies, Mechanics and Optics]. 2020. Т. 20. № 6(130). С. 841-847.

Тезисы

Построение конечно-автоматных моделей функциональных блоков по примерам поведения и темпоральным свойствам

Тезисы

Построение минимальных конечно-автоматных моделей функциональных блоков по обучающим примерам