Mikolas Janota
AuthID: R-004-VTA
61
TÃTULO: Towards Efficient Optimization in Package Management Systems
AUTORES: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 36th International Conference on Software Engineering (ICSE) in 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), NÚMERO: 1
AUTORES: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 36th International Conference on Software Engineering (ICSE) in 36TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2014), NÚMERO: 1
62
TÃTULO: On lazy and eager interactive reconfiguration
AUTORES: Mikolás Janota; Goetz Botterweck; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014
AUTORES: Mikolás Janota; Goetz Botterweck; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014
63
TÃTULO: On the Query Complexity of Selecting Few Minimal Sets
AUTORES: João Marques Silva ; Mikolás Janota;
PUBLICAÇÃO: 2014, FONTE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 21
AUTORES: João Marques Silva ; Mikolás Janota;
PUBLICAÇÃO: 2014, FONTE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 21
INDEXADO EM: 
DBLP
DBLP64
TÃTULO: On unification of QBF resolution-based calculi
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8635 LNCS, NÚMERO: PART 2
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8635 LNCS, NÚMERO: PART 2
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID65
TÃTULO: On Unification of QBF Resolution-Based Calculi
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 2014
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikoláš Janota;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 2014
66
TÃTULO: Quantified Maximum Satisfiability: - A Core-Guided Approach
AUTORES: Alexey Ignatiev; Mikolás Janota; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
AUTORES: Alexey Ignatiev; Mikolás Janota; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
67
TÃTULO: On Propositional QBF Expansions and Q-Resolution
AUTORES: Mikolás Janota; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
AUTORES: Mikolás Janota; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962
68
TÃTULO: Minimal Sets over Monotone Predicates in Boolean Formulae
AUTORES: João Marques Silva ; Mikolás Janota; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 25th International Conference on Computer Aided Verification, CAV 2013 in Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, VOLUME: 8044
AUTORES: João Marques Silva ; Mikolás Janota; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 25th International Conference on Computer Aided Verification, CAV 2013 in Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings, VOLUME: 8044
69
TÃTULO: Solving QBF with Free Variables
AUTORES: Klieber, W; Janota, M; Marques Silva, J ; Clarke, E;
PUBLICAÇÃO: 2013, FONTE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124
AUTORES: Klieber, W; Janota, M; Marques Silva, J ; Clarke, E;
PUBLICAÇÃO: 2013, FONTE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124
70
TÃTULO: On Computing Minimal Correction Subsets
AUTORES: João Marques Silva ; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
AUTORES: João Marques Silva ; Federico Heras; Mikolás Janota; Alessandro Previti; Anton Belov;
PUBLICAÇÃO: 2013, FONTE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: ORCID
ORCID