Mikolas Janota
AuthID: R-004-VTA
11
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
12
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
13
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
Scopus14
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
15
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
16
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 DBLP17
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)
18
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
19
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
Scopus20
TITLE: Preface
AUTHORS: Janota, M; Lynce, I;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
AUTHORS: Janota, M; Lynce, I;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
INDEXED IN: Scopus
Scopus