Mikolas Janota
AuthID: R-004-VTA
11
TÃTULO: Graph Neural Networks for Mapping Variables Between Programs
AUTORES: Pedro Orvalho; Jelle Piepenbrock; Mikoláš Janota; Vasco Manquinho;
PUBLICAÇÃO: 2023, FONTE: 26th European Conference on Artificial Intelligence, ECAI 2023 in Frontiers in Artificial Intelligence and Applications, VOLUME: 372
AUTORES: Pedro Orvalho; Jelle Piepenbrock; Mikoláš Janota; Vasco Manquinho;
PUBLICAÇÃO: 2023, FONTE: 26th European Conference on Artificial Intelligence, ECAI 2023 in Frontiers in Artificial Intelligence and Applications, VOLUME: 372
12
TÃTULO: Integrated lot-sizing and scheduling: Mitigation of uncertainty in demand and processing time by machine learning
AUTORES: Mohammad Rohaninejad; Mikoláš Janota; Zdeněk Hanzálek;
PUBLICAÇÃO: 2023, FONTE: Engineering Applications of Artificial Intelligence, VOLUME: 118
AUTORES: Mohammad Rohaninejad; Mikoláš Janota; Zdeněk Hanzálek;
PUBLICAÇÃO: 2023, FONTE: Engineering Applications of Artificial Intelligence, VOLUME: 118
13
TÃTULO: Data-driven Single Machine Scheduling Minimizing Weighted Number of Tardy Jobs
AUTORES: Nikolai Antonov; Přemysl Šucha; Mikoláš Janota;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Progress in Artificial Intelligence
AUTORES: Nikolai Antonov; Přemysl Šucha; Mikoláš Janota;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Progress in Artificial Intelligence
14
TÃTULO: Boosting isomorphic model filtering with invariants Full Text
AUTORES: Araujo, Joao ; Chow, Choiwah; Janota, Mikolas;
PUBLICAÇÃO: 2022, FONTE: CONSTRAINTS, VOLUME: 27, NÚMERO: 3
AUTORES: Araujo, Joao ; Chow, Choiwah; Janota, Mikolas;
PUBLICAÇÃO: 2022, FONTE: CONSTRAINTS, VOLUME: 27, NÚMERO: 3
15
TÃTULO: SAT-Based Leximax Optimisation Algorithms
AUTORES: Cabral, M; Janota, M; Manquinho, V;
PUBLICAÇÃO: 2022, FONTE: 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 236
AUTORES: Cabral, M; Janota, M; Manquinho, V;
PUBLICAÇÃO: 2022, FONTE: 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 236
INDEXADO EM: Scopus
16
TÃTULO: TestSelector: Automatic Test Suite Selection for Student Projects
AUTORES: Marques, Filipe; Morgado, António ; Santos, Jose Fragoso; Janota, Mikolas;
PUBLICAÇÃO: 2022, FONTE: 22nd International Conference on Runtime Verification (RV) held as part of the Computational Logic Autumn Summit (CLAS) in RUNTIME VERIFICATION (RV 2022), VOLUME: 13498
AUTORES: Marques, Filipe; Morgado, António ; Santos, Jose Fragoso; Janota, Mikolas;
PUBLICAÇÃO: 2022, FONTE: 22nd International Conference on Runtime Verification (RV) held as part of the Computational Logic Autumn Summit (CLAS) in RUNTIME VERIFICATION (RV 2022), VOLUME: 13498
17
TÃTULO: Guiding an Automated Theorem Prover with Neural Rewriting
AUTORES: Jelle Piepenbrock; Tom Heskes; Mikoláš Janota; Josef Urban;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Automated Reasoning
AUTORES: Jelle Piepenbrock; Tom Heskes; Mikoláš Janota; Josef Urban;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Automated Reasoning
18
TÃTULO: The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets
AUTORES: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco M Manquinho;
PUBLICAÇÃO: 2021, FONTE: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., VOLUME: 210
AUTORES: Mikolás Janota; Morgado, António ; José Fragoso Santos; Vasco M Manquinho;
PUBLICAÇÃO: 2021, FONTE: 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021., VOLUME: 210
INDEXADO EM: Scopus DBLP
19
TÃTULO: Graph Neural Networks for Scheduling of SMT Solvers
AUTORES: Hula, J; Mojzísek, D; Janota, M;
PUBLICAÇÃO: 2021, FONTE: 2021 IEEE 33RD INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2021)
AUTORES: Hula, J; Mojzísek, D; Janota, M;
PUBLICAÇÃO: 2021, FONTE: 2021 IEEE 33RD INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2021)
20
TÃTULO: SAT-Based Encodings for Optimal Decision Trees with Explicit Paths
AUTORES: Janota, M; Morgado, António ;
PUBLICAÇÃO: 2020, FONTE: 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
AUTORES: Janota, M; Morgado, António ;
PUBLICAÇÃO: 2020, FONTE: 23rd International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178