João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



51
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: IJCAI, VOLUME: 2015-January
INDEXADO EM: Scopus DBLP
52
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
53
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
54
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
55
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
56
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
57
TÍTULO: Prime Compilation of Non-Clausal Formulae
AUTORES: Alessandro Previti; Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: IJCAI, VOLUME: 2015-January
INDEXADO EM: Scopus DBLP
58
TÍTULO: SAT-Based Formula Simplification
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340
INDEXADO EM: DBLP
NO MEU: DBLP
59
TÍTULO: SAT-Based Formula Simplification
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
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: WOS
60
TÍTULO: SAT-based formula simplification
AUTORES: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9340
INDEXADO EM: Scopus
Página 6 de 27. Total de resultados: 266.

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

Links Úteis

Ajuda

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