logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Mikoláš Janota

Czech Technical University in Prague

25H-index
174Paper Count
2.9KCitation Count
Published Papers 10
Publication Date
logo
Neural Approaches to SAT Solving: Design Choices and Interpretability
errInternational Journal of Approximate Reasoning
IF3
err2025-12-05
err0
PREAI
errDavid Mojžíšek; Jan Hůla; Ziwei Li; Ziyu Zhou; Mikoláš Janota
errShare
errSave
Machine Learning for Quantifier Selection in cvc5
errInternational Journal of Approximate Reasoning
IF3
err2025-11-15
err0
PREAI
errJan Jakubův; Mikoláš Janota; Jelle Piepenbrock; Josef Urban
errShare
errSave
MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair
errJournal of Systems and Software
IF4.1
err2025-11-10
err0
errOAAI
errPedro Orvalho; Mikoláš Janota; Vasco Manquinho
errShare
errSave
Minimizing the weighted number of tardy jobs: Data-driven heuristic for single-machine scheduling
errComputers & Operations Research
IF4.3
err2025-09-26
err0
errOAAI
errNikolai Antonov; Přemysl Šůcha; Mikoláš Janota; Jan Hůla
errShare
errSave
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
errShare
errSave
InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
errJournal of Systems and Software
IF4.1
err2025-06-27
err0
errOAAI
errPedro Orvalho; Mikoláš Janota; Vasco Manquinho
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
J
João Marques‐Silva
H-index: 47 · Papers: 394
J
Josef Urban
H-index: 35 · Papers: 253
I
Inês Lynce
H-index: 27 · Papers: 158
Z
Ziwei Li
H-index: 17 · Papers: 80
C
Carlos Mencía
H-index: 17 · Papers: 47
View more