Mikolas Janota
AuthID: R-004-VTA
21
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
Scopus22
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
23
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
24
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
Scopus DBLP25
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)
26
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
27
TÃTULO: PrideMM: Second order model checking for memory consistency models
AUTORES: Cooksey, S; Harris, S; Batty, M; Grigore, R; Janota, M;
PUBLICAÇÃO: 2020, FONTE: 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
AUTORES: Cooksey, S; Harris, S; Batty, M; Grigore, R; Janota, M;
PUBLICAÇÃO: 2020, FONTE: 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
INDEXADO EM: Scopus
Scopus28
TÃTULO: Preface
AUTORES: Janota, M; Lynce, I ;
PUBLICAÇÃO: 2019, FONTE: 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
AUTORES: Janota, M; Lynce, I ;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus
Scopus29
TÃTULO: On Unordered BDDs and Quantified Boolean Formulas
AUTORES: Janota, M;
PUBLICAÇÃO: 2019, FONTE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805
AUTORES: Janota, M;
PUBLICAÇÃO: 2019, FONTE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805
30
TÃTULO: New Resolution-Based QBF Calculi and Their Proof Complexity
AUTORES: Beyersdorff, O; Chew, L; Janota, M;
PUBLICAÇÃO: 2019, FONTE: ACM TRANSACTIONS ON COMPUTATION THEORY, VOLUME: 11, NÚMERO: 4
AUTORES: Beyersdorff, O; Chew, L; Janota, M;
PUBLICAÇÃO: 2019, FONTE: ACM TRANSACTIONS ON COMPUTATION THEORY, VOLUME: 11, NÚMERO: 4
