João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



51
TÍTULO: Algorithms for computing backbones of propositional formulae  Full Text
AUTORES: Janota, M; Lynce, I ; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 26 Unpaywall
NO MEU: DBLP
52
TÍTULO: Computing Maximal Autarkies with Few and Simple Oracle Queries
AUTORES: Kullmann, O; Marques Silva, J ;
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
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
53
TÍTULO: Efficient Axiom Pinpointing with EL2MCS
AUTORES: Arif, MF; Mencia, C; Marques Silva, J ;
PUBLICAÇÃO: 2015, FONTE: 38th German Conference on Artificial Intelligence (AI) in KI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 9324
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
54
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
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
55
TÍTULO: Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
AUTORES: Arif, MF; Mencia, C; Marques Silva, J ;
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
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
56
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
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
57
TÍTULO: Literal-Based MCS Extraction
AUTORES: Carlos Mencía; Alessandro Previti; João 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
NO MEU: DBLP
58
TÍTULO: MaxSAT-based encodings for Group MaxSAT  Full Text
AUTORES: Heras, F; Morgado, António ; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 8 Unpaywall
NO MEU: DBLP
59
TÍTULO: MILP for the Multi-objective VM Reassignment Problem
AUTORES: Saber, T; Ventresque, A; Marques Silva, J ; Thorburn, J; Murphy, L;
PUBLICAÇÃO: 2015, FONTE: 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) in 2015 IEEE 27TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2015), VOLUME: 2016-January
INDEXADO EM: Scopus WOS DBLP CrossRef: 13 Unpaywall
NO MEU: DBLP
60
TÍTULO: Prime Compilation of Non-Clausal Formulae
AUTORES: Alessandro Previti; Alexey Ignatiev; Morgado, António ; João 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
NO MEU: DBLP
Página 6 de 28. Total de resultados: 271.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service