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

Mikoláš Janota

Czech Technical University in Prague

25H指数
174论文数
2.9K被引数
收录论文 10
发表时间
logo
Neural Approaches to SAT Solving: Design Choices and InterpretabilitySAT求解的神经网络方法：设计选择与可解释性
errInternational Journal of Approximate Reasoning
IF3
err2025-12-05
err0
PREAI
errDavid Mojžíšek; Jan Hůla; Ziwei Li; Ziyu Zhou; Mikoláš Janota
err分享
err收藏
Machine Learning for Quantifier Selection in cvc5cvc5中量词选择的机器学习
errInternational Journal of Approximate Reasoning
IF3
err2025-11-15
err0
PREAI
errJan Jakubův; Mikoláš Janota; Jelle Piepenbrock; Josef Urban
err分享
err收藏
MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair导师：使用基于公式的故障定位和LLM驱动的程序修复来修复入门编程作业
errJournal of Systems and Software
IF4.1
err2025-11-10
err0
errOAAI
errPedro Orvalho; Mikoláš Janota; Vasco Manquinho
err分享
err收藏
Minimizing the weighted number of tardy jobs: Data-driven heuristic for single-machine scheduling最小化加权 tardy 工件数量：面向单机调度的数据驱动启发式算法
errComputers & Operations Research
IF4.3
err2025-09-26
err0
errOAAI
errNikolai Antonov; Přemysl Šůcha; Mikoláš Janota; Jan Hůla
err分享
err收藏
Geometric Reasoning in the Embedding Space嵌入空间中的几何推理
errMachine Learning and Knowledge Extraction 2025, Vol. 7, Page 93
IF6
err2025-09-18
err0
errOAAI
errDavid Mojžíšek; Jan Hůla; Jiří Janeček; David Herel; Mikoláš Janota
err分享
err收藏
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming AssignmentsInvAASTCluster：关于将基于不变量的程序聚类应用于入门编程作业
errJournal of Systems and Software
IF4.1
err2025-06-27
err0
errOAAI
errPedro Orvalho; Mikoláš Janota; Vasco Manquinho
err分享
err收藏
Minimal sets on propositional formulae. Problems and reductions
errartificial intelligence review
IF4.6
err2017-11-01
err21
errOAAI
errMarques-Silva, Joao; Janota, Mikolas; Mencia, Carlos
err分享
err收藏
Solving QBF with counterexample guided refinement
errartificial intelligence review
IF4.6
err2016-05-01
err66
errOAAI
errJanota, Mikolas; Klieber, William; Marques-Silva, Joao; Clarke, Edmund
err分享
err收藏
On the query complexity of selecting minimal sets for monotone predicates
errartificial intelligence review
IF4.6
err2016-04-01
err23
PREAI
errJanota, Mikolas; Marques-Silva, Joao
err分享
err收藏
Algorithms for computing minimal equivalent subformulas
errartificial intelligence review
IF4.6
err2014-11-01
err10
errOAAI
errBelov, Anton; Janota, Mikolas; Lynce, Ines; Marques-Silva, Joao
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
J
João Marques‐Silva
H 指数: 47 · 论文数: 394
J
Josef Urban
H 指数: 35 · 论文数: 253
I
Inês Lynce
H 指数: 27 · 论文数: 158
Z
Ziwei Li
H 指数: 17 · 论文数: 83
C
Carlos Mencía
H 指数: 17 · 论文数: 47
查看更多