Mikolas Janota
AuthID: R-004-VTA
11
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
12
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
13
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
14
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
15
TÃTULO: Cube-Based Isomorph-Free Finite Model Finding
AUTORES: Chow, Choiwah; Janota, Mikolas; Araujo, Joao ;
PUBLICAÇÃO: 2024, FONTE: 27th European Conference on Artificial Intelligence-ECAI-Biennial in ECAI 2024, VOLUME: 392
AUTORES: Chow, Choiwah; Janota, Mikolas; Araujo, Joao ;
PUBLICAÇÃO: 2024, FONTE: 27th European Conference on Artificial Intelligence-ECAI-Biennial in ECAI 2024, VOLUME: 392
16
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
17
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
18
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
Unpaywall19
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
20
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
DBLP