João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



61
TÍTULO: SAT-Based Horn Least Upper Bounds
AUTORES: Carlos Mencia; 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: Scopus WOS
62
TÍTULO: SAT-Based Horn Least Upper Bounds
AUTORES: Carlos Mencía; 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 CrossRef Unpaywall
NO MEU: DBLP
63
TÍTULO: Smallest MUS Extraction with Minimal Hitting Set Dualization
AUTORES: Ignatiev, A; Previti, A; Liffiton, M; Marques Silva, J ;
PUBLICAÇÃO: 2015, FONTE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
64
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
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
65
TÍTULO: Towards Efficient Axiom Pinpointing of EL+ Ontologies PDF
AUTORES: Fareed F Arif; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1503.08454
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
66
TÍTULO: A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems
AUTORES: Yuri Malitsky; Barry O'Sullivan; Alessandro Previti; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings, VOLUME: 8451
INDEXADO EM: DBLP
NO MEU: DBLP
67
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 8 Unpaywall
NO MEU: DBLP
68
TÍTULO: Core-Guided MaxSAT with Soft Cardinality Constraints
AUTORES: Morgado, António ; Dodaro, C; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 20th International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, VOLUME: 8656
INDEXADO EM: Scopus WOS DBLP CrossRef: 42 Unpaywall
69
TÍTULO: Efficient Autarkies
AUTORES: Marques Silva, J ; Ignatiev, A; Morgado, António ; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 21st European Conference on Artificial Intelligence (ECAI) in 21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), VOLUME: 263
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
70
TÍTULO: Efficient Relaxations of Over-constrained CSPs
AUTORES: Carlos Mencía; Joao Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014
INDEXADO EM: DBLP
NO MEU: DBLP
Página 7 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