Mikolas Janota
AuthID: R-004-VTA
51
TÃTULO: Expansion-based QBF solving versus Q-resolution Full Text
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2015, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 577, NÚMERO: 1
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2015, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 577, NÚMERO: 1
52
TÃTULO: Quantified maximum satisfiability Full Text
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: Constraints
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: Constraints
53
TÃTULO: Exploiting Resolution-Based Representations for MaxSAT Solving
AUTORES: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
AUTORES: Neves, M; Martins, R; Janota, M; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
54
TÃTULO: Solving QBF by Clause Selection
AUTORES: Mikolás Janota; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January
AUTORES: Mikolás Janota; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP NO MEU: 
ORCID
ORCID55
TÃTULO: Efficient Model Based Diagnosis with Maximum Satisfiability
AUTORES: João Marques Silva ; Mikolás Janota; Alexey Ignatiev; Morgado, António ;
PUBLICAÇÃO: 2015, FONTE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January
AUTORES: João Marques Silva ; Mikolás Janota; Alexey Ignatiev; Morgado, António ;
PUBLICAÇÃO: 2015, FONTE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: ORCID
ORCID56
TÃTULO: Efficient extraction of QBF (counter) models from long-distance resolution proofs
AUTORES: Balabanov, V; Jiang, JHR; Janota, M; Widl, AM;
PUBLICAÇÃO: 2015, FONTE: 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 5
AUTORES: Balabanov, V; Jiang, JHR; Janota, M; Widl, AM;
PUBLICAÇÃO: 2015, FONTE: 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 5
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID57
TÃTULO: Algorithms for computing minimal equivalent subformulas Full Text
AUTORES: Belov, A; Janota, M; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 216
AUTORES: Belov, A; Janota, M; Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 216
58
TÃTULO: On Unification of QBF Resolution-Based Calculi
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikolas Janota;
PUBLICAÇÃO: 2014, FONTE: 39th International Symposium on Mathematical Foundations of Computer Science (MFCS) in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PT II, VOLUME: 8635
AUTORES: Olaf Beyersdorff; Leroy Chew; Mikolas Janota;
PUBLICAÇÃO: 2014, FONTE: 39th International Symposium on Mathematical Foundations of Computer Science (MFCS) in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, PT II, VOLUME: 8635
INDEXADO EM: 
WOS
WOS NO MEU: ORCID
ORCID59
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
60
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
