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: 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
3
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
4
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
5
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
6
TÃTULO: Geometric Reasoning in the Embedding Space
AUTORES: David Mojžíšek; Jan Hůla; Jiří Janeček; David Herel; Mikoláš Janota;
PUBLICAÇÃO: 2025, FONTE: Machine Learning and Knowledge Extraction, VOLUME: 7, NÚMERO: 3
AUTORES: David Mojžíšek; Jan Hůla; Jiří Janeček; David Herel; Mikoláš Janota;
PUBLICAÇÃO: 2025, FONTE: Machine Learning and Knowledge Extraction, VOLUME: 7, NÚMERO: 3
7
TÃTULO: First Experiments with Neural cvc5
AUTORES: Jelle Piepenbrock; Mikolas Janota; Josef Urban; Jan Jakubův;
PUBLICAÇÃO: 2024, FONTE: EPiC Series in Computing
AUTORES: Jelle Piepenbrock; Mikolas Janota; Josef Urban; Jan Jakubův;
PUBLICAÇÃO: 2024, FONTE: EPiC Series in Computing
8
TÃTULO: Solving Hard Mizar Problems with Instantiation and Strategy Invention
AUTORES: Jan Jakubův; Mikoláš Janota; Josef Urban;
PUBLICAÇÃO: 2024, FONTE: Lecture Notes in Computer Science - Intelligent Computer Mathematics
AUTORES: Jan Jakubův; Mikoláš Janota; Josef Urban;
PUBLICAÇÃO: 2024, FONTE: Lecture Notes in Computer Science - Intelligent Computer Mathematics
9
TÃTULO: C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2024, FONTE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, VOLUME: 10808
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2024, FONTE: 5th ACM/IEEE International Workshop on Automated Program Repair (APR) in 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, VOLUME: 10808
10
TÃTULO: Cube-Based Isomorph-Free Finite Model Finding
AUTORES: Choiwah Chow; Mikoláš Janota; João Araújo ;
PUBLICAÇÃO: 2024, FONTE: 27th European Conference on Artificial Intelligence, ECAI 2024 in Frontiers in Artificial Intelligence and Applications, VOLUME: 392
AUTORES: Choiwah Chow; Mikoláš Janota; João Araújo ;
PUBLICAÇÃO: 2024, FONTE: 27th European Conference on Artificial Intelligence, ECAI 2024 in Frontiers in Artificial Intelligence and Applications, VOLUME: 392
