Mikolas Janota
AuthID: R-004-VTA
1
TÃTULO: Minimizing the weighted number of tardy jobs: data-driven heuristic for single-machine scheduling
AUTORES: Nikolai Antonov; Přemysl Šůcha; Mikoláš Janota; Jan Hůla;
PUBLICAÇÃO: 2026, FONTE: Computers & Operations Research, VOLUME: 185
AUTORES: Nikolai Antonov; Přemysl Šůcha; Mikoláš Janota; Jan Hůla;
PUBLICAÇÃO: 2026, FONTE: Computers & Operations Research, VOLUME: 185
2
TÃTULO: Machine learning for quantifier selection in cvc5
AUTORES: Jan Jakubův; Mikoláš Janota; Jelle Piepenbrock; Josef Urban;
PUBLICAÇÃO: 2026, FONTE: International Journal of Approximate Reasoning, VOLUME: 189
AUTORES: Jan Jakubův; Mikoláš Janota; Jelle Piepenbrock; Josef Urban;
PUBLICAÇÃO: 2026, FONTE: International Journal of Approximate Reasoning, VOLUME: 189
3
TÃTULO: MENTOR: Fixing introductory programming assignments with formula-based fault localization and LLM-driven program repair
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco;
PUBLICAÇÃO: 2026, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 234
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco;
PUBLICAÇÃO: 2026, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 234
4
TÃTULO: Neural approaches to SAT solving: Design choices and interpretability
AUTORES: David Mojžíšek; Jan Hůla; Ziwei Li; Ziyu Zhou; Mikoláš Janota;
PUBLICAÇÃO: 2026, FONTE: International Journal of Approximate Reasoning, VOLUME: 190
AUTORES: David Mojžíšek; Jan Hůla; Ziwei Li; Ziyu Zhou; Mikoláš Janota;
PUBLICAÇÃO: 2026, FONTE: International Journal of Approximate Reasoning, VOLUME: 190
5
TÃTULO: CFAULTS: Model-Based Diagnosis for Fault Localization in C with Multiple Test Cases
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT I, FM 2024, VOLUME: 14933
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2025, FONTE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT I, FM 2024, VOLUME: 14933
6
TÃTULO: Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco M.;
PUBLICAÇÃO: 2025, FONTE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 1, VOLUME: 39, NÚMERO: 1
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco M.;
PUBLICAÇÃO: 2025, FONTE: 39th AAAI Conference on Artificial Intelligence in THIRTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, AAAI-25, VOL 39 NO 1, VOLUME: 39, NÚMERO: 1
INDEXADO EM: 
Scopus 
WOS
Scopus WOS7
TÃTULO: Complete Symmetry Breaking for Finite Models
AUTORES: Marek Dančo; Mikoláš Janota; Michael Codish; João Jorge Araújo;
PUBLICAÇÃO: 2025, FONTE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 39, NÚMERO: 11
AUTORES: Marek Dančo; Mikoláš Janota; Michael Codish; João Jorge Araújo;
PUBLICAÇÃO: 2025, FONTE: 39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025 in Proceedings of the AAAI Conference on Artificial Intelligence, VOLUME: 39, NÚMERO: 11
INDEXADO EM: Scopus
Scopus8
TÃTULO: InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 230
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 230
9
TÃTULO: Breaking Symmetries from a Set-Covering Perspective
AUTORES: Michael Codish; Mikoláš Janota;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Integration of Constraint Programming, Artificial Intelligence, and Operations Research
AUTORES: Michael Codish; Mikoláš Janota;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Integration of Constraint Programming, Artificial Intelligence, and Operations Research
10
TÃTULO: SMT and Functional Equation Solving over the Reals: Challenges from the IMO
AUTORES: Chad E Brown; Karel Chvalovský; Mikoláš Janota; Mirek Olšák; Stefan Ratschan;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Automated Deduction – CADE 30
AUTORES: Chad E Brown; Karel Chvalovský; Mikoláš Janota; Mirek Olšák; Stefan Ratschan;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Computer Science - Automated Deduction – CADE 30
