Mikolas Janota
AuthID: R-004-VTA
11
TÃTULO: Understanding GNNs for Boolean Satisfiability through Approximation Algorithms
AUTORES: Jan Hůla; David Mojíek; Mikolá Janota;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management
AUTORES: Jan Hůla; David Mojíek; Mikolá Janota;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 33rd ACM International Conference on Information and Knowledge Management
12
TÃTULO: GITSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2024, FONTE: 1st ACM Virtual Global Computing Education Conference (SIGCSE) in PROCEEDINGS OF THE 2024 ACM VIRTUAL GLOBAL COMPUTING EDUCATION CONFERENCE V.1, SIGCSE VIRTUAL 2024
AUTORES: Orvalho, Pedro; Janota, Mikolas; Manquinho, Vasco ;
PUBLICAÇÃO: 2024, FONTE: 1st ACM Virtual Global Computing Education Conference (SIGCSE) in PROCEEDINGS OF THE 2024 ACM VIRTUAL GLOBAL COMPUTING EDUCATION CONFERENCE V.1, SIGCSE VIRTUAL 2024
13
TÃTULO: SAT-Based Techniques for Lexicographically Smallest Finite Models
AUTORES: Mikoláš Janota; Choiwah Chow; João Araújo; Michael Codish; Petr Vojtěchovský;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the AAAI Conference on Artificial Intelligence
AUTORES: Mikoláš Janota; Choiwah Chow; João Araújo; Michael Codish; Petr Vojtěchovský;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the AAAI Conference on Artificial Intelligence
INDEXADO EM: 
Unpaywall
Unpaywall14
TÃTULO: Computing generating sets of minimal size in finite algebras Full Text
AUTORES: Janota, Mikolas; Morgado, António ; Vojtechovsky, Petr;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 119
AUTORES: Janota, Mikolas; Morgado, António ; Vojtechovsky, Petr;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYMBOLIC COMPUTATION, VOLUME: 119
15
TÃTULO: Computing generating sets of minimal size in finite algebras
AUTORES: Mikolás Janota; Morgado, António; Petr Vojtechovský;
PUBLICAÇÃO: 2023, FONTE: J. Symb. Comput., VOLUME: 119
AUTORES: Mikolás Janota; Morgado, António; Petr Vojtechovský;
PUBLICAÇÃO: 2023, FONTE: J. Symb. Comput., VOLUME: 119
INDEXADO EM: 
DBLP
DBLP16
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
17
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
18
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
19
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
20
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
Scopus