logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
K

Konstantin Chukharev

ITMO University

3H指数
11论文数
35被引数
收录论文 5
发表时间
logo
Effective Partitioning Method With Predictable Hardness for CircuitSAT
errIEEE ACCESS
IF3.6
err2025-01-01
err0
errOAAI
errChukharev, Konstantin; Gribanova, Irina; Ivanov, Dmitry; Kochemazov, Stepan; Kondratiev, Victor; Semenov, Alexander
err分享
err收藏
A 4-lineage Statistical Suite to Evaluate the Support of Large-Scale Retrotransposon Insertion Data to Reconstruct Evolutionary Trees
errSYSTEMATIC BIOLOGY
IF5.7
err2023-01-23
err1
errOAAI
errChurakov, Gennady; Kuritzin, Andrej; Chukharev, Konstantin; Zhang, Fengjun; Wuennemann, Florian; Ulyantsev, Vladimir; Schmitz, Juergen
err分享
err收藏
fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver
errIEEE ACCESS
IF3.6
err2022-01-01
err2
errOAAI
errChukharev, Konstantin; Chivilikhin, Daniil
err分享
err收藏
Automatic State Machine Reconstruction From Legacy Programmable Logic Controller Using Data Collection and SAT Solver
errIEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
IF9.9
err2020-12-01
err11
PREAI
errChivilikhin, Daniil; Patil, Sandeep; Chukharev, Konstantin; Cordonnier, Anthony; Vyatkin, Valeriy
err分享
err收藏
SAT-Based Counterexample-Guided Inductive Synthesis of Distributed Controllers
errIEEE ACCESS
IF3.6
err2020-01-01
err2
errOAAI
errChukharev, Konstantin; Suvorov, Dmitrii; Chivilikhin, Daniil; Vyatkin, Valeriy
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Jürgen Schmitz
H 指数: 50 · 论文数: 141
V
Valeriy Vyatkin
H 指数: 40 · 论文数: 556
G
Gennady Churakov
H 指数: 23 · 论文数: 50
S
Sandeep Patil
H 指数: 18 · 论文数: 93
V
Valeriy Vyatkin
H 指数: 16 · 论文数: 59
查看更多