Mikolas Janota
AuthID: R-004-VTA
11
TITLE: Integrated lot-sizing and scheduling: Mitigation of uncertainty in demand and processing time by machine learning
AUTHORS: Mohammad Rohaninejad; Mikoláš Janota; Zdeněk Hanzálek;
PUBLISHED: 2023, SOURCE: Engineering Applications of Artificial Intelligence, VOLUME: 118
AUTHORS: Mohammad Rohaninejad; Mikoláš Janota; Zdeněk Hanzálek;
PUBLISHED: 2023, SOURCE: Engineering Applications of Artificial Intelligence, VOLUME: 118
12
TITLE: Data-driven Single Machine Scheduling Minimizing Weighted Number of Tardy Jobs
AUTHORS: Nikolai Antonov; Přemysl Šucha; Mikoláš Janota;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Progress in Artificial Intelligence
AUTHORS: Nikolai Antonov; Přemysl Šucha; Mikoláš Janota;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Progress in Artificial Intelligence
13
TITLE: Boosting isomorphic model filtering with invariants Full Text
AUTHORS: Araujo, Joao ; Chow, Choiwah; Janota, Mikolas;
PUBLISHED: 2022, SOURCE: CONSTRAINTS, VOLUME: 27, ISSUE: 3
AUTHORS: Araujo, Joao ; Chow, Choiwah; Janota, Mikolas;
PUBLISHED: 2022, SOURCE: CONSTRAINTS, VOLUME: 27, ISSUE: 3
14
TITLE: SAT-Based Leximax Optimisation Algorithms
AUTHORS: Cabral, M; Janota, M; Manquinho, V;
PUBLISHED: 2022, SOURCE: 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 236
AUTHORS: Cabral, M; Janota, M; Manquinho, V;
PUBLISHED: 2022, SOURCE: 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 236
INDEXED IN: 
Scopus
Scopus15
TITLE: TestSelector: Automatic Test Suite Selection for Student Projects
AUTHORS: Marques, Filipe; Morgado, António ; Santos, Jose Fragoso; Janota, Mikolas;
PUBLISHED: 2022, SOURCE: 22nd International Conference on Runtime Verification (RV) held as part of the Computational Logic Autumn Summit (CLAS) in RUNTIME VERIFICATION (RV 2022), VOLUME: 13498
AUTHORS: Marques, Filipe; Morgado, António ; Santos, Jose Fragoso; Janota, Mikolas;
PUBLISHED: 2022, SOURCE: 22nd International Conference on Runtime Verification (RV) held as part of the Computational Logic Autumn Summit (CLAS) in RUNTIME VERIFICATION (RV 2022), VOLUME: 13498
16
TITLE: Guiding an Automated Theorem Prover with Neural Rewriting
AUTHORS: Jelle Piepenbrock; Tom Heskes; Mikoláš Janota; Josef Urban;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Automated Reasoning
AUTHORS: Jelle Piepenbrock; Tom Heskes; Mikoláš Janota; Josef Urban;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Automated Reasoning
17
TITLE: The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets
AUTHORS: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco M Manquinho;
PUBLISHED: 2021, SOURCE: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., VOLUME: 210
AUTHORS: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco M Manquinho;
PUBLISHED: 2021, SOURCE: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., VOLUME: 210
INDEXED IN: Scopus 
DBLP
Scopus DBLP18
TITLE: Graph Neural Networks for Scheduling of SMT Solvers
AUTHORS: Hula, J; Mojzísek, D; Janota, M;
PUBLISHED: 2021, SOURCE: 2021 IEEE 33RD INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2021)
AUTHORS: Hula, J; Mojzísek, D; Janota, M;
PUBLISHED: 2021, SOURCE: 2021 IEEE 33RD INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2021)
19
TITLE: SAT-Based Encodings for Optimal Decision Trees with Explicit Paths
AUTHORS: Janota, M; Morgado, António ;
PUBLISHED: 2020, SOURCE: 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
AUTHORS: Janota, M; Morgado, António ;
PUBLISHED: 2020, SOURCE: 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
20
TITLE: PrideMM: Second order model checking for memory consistency models
AUTHORS: Cooksey, S; Harris, S; Batty, M; Grigore, R; Janota, M;
PUBLISHED: 2020, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12233 LNCS
AUTHORS: Cooksey, S; Harris, S; Batty, M; Grigore, R; Janota, M;
PUBLISHED: 2020, SOURCE: 3rd World Congress on Formal Methods, FM 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12233 LNCS
INDEXED IN: Scopus
Scopus