João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



41
TÍTULO: Maximal falsifiability. Definitions, algorithms and applications  Full Text
AUTORES: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
NO MEU: DBLP
42
TÍTULO: MCS Extraction with Sublinear Oracle Queries
AUTORES: Carlos Mencía; Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2016, FONTE: 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 in Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings, VOLUME: 9710
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: DBLP
43
TÍTULO: On Finding Minimum Satisfying Assignments
AUTORES: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
44
TÍTULO: On the query complexity of selecting minimal sets for monotone predicates  Full Text
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 233
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
45
TÍTULO: Preface: The Beyond NP Workshop
AUTORES: Adnan Darwiche; Joao Marques Silva ; Pierre Marquis;
PUBLICAÇÃO: 2016, FONTE: Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016., VOLUME: WS-16-05
INDEXADO EM: DBLP
NO MEU: DBLP
46
TÍTULO: Propositional Abduction with Implicit Hitting Sets PDF
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef
NO MEU: DBLP
47
TÍTULO: Quantified maximum satisfiability  Full Text
AUTORES: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: CONSTRAINTS, VOLUME: 21, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
48
TÍTULO: Reports of the 2016 AAAI Workshop Program
AUTORES: Albrecht, SV; Bouchard, B; Brownstein, JS; Buckeridge, DL; Caragea, C; Carter, KM; Darwiche, A; Fortuna, B; Francillette, Y; Gaboury, S; Giles, CL; Grobelnik, M; Hruschka, E; Kephart, JO; Kordjamshidi, P; Lisy, V; Magazzeni, D; Marques Silva, J ; Marquis, P; Martinez, D; Michalowski, M; Noorian, Z; Pontelli, E; Rogers, A; Rosenthal, S; Roth, D; Sanner, S; Shaban Nejad, A; Sinha, A; Son, TC; Streilein, W; Thiebaux, S; Wallace, BC; Walsh, T; Witbroc, M; Zhang, J; ...Mais
PUBLICAÇÃO: 2016, FONTE: AI MAGAZINE, VOLUME: 37, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
49
TÍTULO: Solving QBF with counterexample guided refinement  Full Text
AUTORES: Janota, M; Klieber, W; Marques Silva, J ; Clarke, E;
PUBLICAÇÃO: 2016, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 234
INDEXADO EM: Scopus WOS CrossRef Unpaywall
50
TÍTULO: Solving QBF with counterexample guided refinement
AUTORES: Mikolás Janota; William Klieber; Joao Marques Silva ; Edmund M. Clarke;
PUBLICAÇÃO: 2016, FONTE: Artif. Intell., VOLUME: 234
INDEXADO EM: DBLP
NO MEU: DBLP
Página 5 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