Mikolas Janota
AuthID: R-004-VTA
1
TITLE: Minimizing the weighted number of tardy jobs: data-driven heuristic for single-machine scheduling
AUTHORS: Nikolai Antonov; Přemysl Šůcha; Mikoláš Janota; Jan Hůla;
PUBLISHED: 2026, SOURCE: Computers & Operations Research, VOLUME: 185
AUTHORS: Nikolai Antonov; Přemysl Šůcha; Mikoláš Janota; Jan Hůla;
PUBLISHED: 2026, SOURCE: Computers & Operations Research, VOLUME: 185
2
TITLE: Machine learning for quantifier selection in cvc5
AUTHORS: Jan Jakubův; Mikoláš Janota; Jelle Piepenbrock; Josef Urban;
PUBLISHED: 2026, SOURCE: International Journal of Approximate Reasoning, VOLUME: 189
AUTHORS: Jan Jakubův; Mikoláš Janota; Jelle Piepenbrock; Josef Urban;
PUBLISHED: 2026, SOURCE: International Journal of Approximate Reasoning, VOLUME: 189
3
TITLE: CFAULTS: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT I, FM 2024, VOLUME: 14933
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT I, FM 2024, VOLUME: 14933
4
TITLE: InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 230
AUTHORS: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLISHED: 2025, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 230
5
TITLE: Breaking Symmetries from a Set-Covering Perspective
AUTHORS: Michael Codish; Mikoláš Janota;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Integration of Constraint Programming, Artificial Intelligence, and Operations Research
AUTHORS: Michael Codish; Mikoláš Janota;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Integration of Constraint Programming, Artificial Intelligence, and Operations Research
6
TITLE: SMT and Functional Equation Solving over the Reals: Challenges from the IMO
AUTHORS: Chad E Brown; Karel Chvalovský; Mikoláš Janota; Mirek Olšák; Stefan Ratschan;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Automated Deduction – CADE 30
AUTHORS: Chad E Brown; Karel Chvalovský; Mikoláš Janota; Mirek Olšák; Stefan Ratschan;
PUBLISHED: 2025, SOURCE: Lecture Notes in Computer Science - Automated Deduction – CADE 30
7
TITLE: Geometric Reasoning in the Embedding Space
AUTHORS: David Mojžíšek; Jan Hůla; Jiří Janeček; David Herel; Mikoláš Janota;
PUBLISHED: 2025, SOURCE: Machine Learning and Knowledge Extraction, VOLUME: 7, ISSUE: 3
AUTHORS: David Mojžíšek; Jan Hůla; Jiří Janeček; David Herel; Mikoláš Janota;
PUBLISHED: 2025, SOURCE: Machine Learning and Knowledge Extraction, VOLUME: 7, ISSUE: 3
8
TITLE: MENTOR: Fixing Introductory Programming Assignments With Formula-Based Fault Localization and LLM-Driven Program Repair Full Text
AUTHORS: Pedro Orvalho; Mikoláš Janota; Vasco Manquinho;
PUBLISHED: 2025, SOURCE: Journal of Systems and Software
AUTHORS: Pedro Orvalho; Mikoláš Janota; Vasco Manquinho;
PUBLISHED: 2025, SOURCE: Journal of Systems and Software
9
TITLE: First Experiments with Neural cvc5
AUTHORS: Jelle Piepenbrock; Mikolas Janota; Josef Urban; Jan Jakubův;
PUBLISHED: 2024, SOURCE: EPiC Series in Computing
AUTHORS: Jelle Piepenbrock; Mikolas Janota; Josef Urban; Jan Jakubův;
PUBLISHED: 2024, SOURCE: EPiC Series in Computing
10
TITLE: Solving Hard Mizar Problems with Instantiation and Strategy Invention
AUTHORS: Jan Jakubův; Mikoláš Janota; Josef Urban;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science - Intelligent Computer Mathematics
AUTHORS: Jan Jakubův; Mikoláš Janota; Josef Urban;
PUBLISHED: 2024, SOURCE: Lecture Notes in Computer Science - Intelligent Computer Mathematics
