João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



121
TÍTULO: Abstraction-Based Algorithm for 2QBF
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: 14th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, VOLUME: 6695
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
122
TÍTULO: Accelerating MUS extraction with recursive model rotation
AUTORES: Anton Belov; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 2011 Formal Methods in Computer-Aided Design, FMCAD 2011 in International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
123
TÍTULO: Anatomy and Empirical Evaluation of Modern SAT Solvers
AUTORES: Karem A. Sakallah; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: Bulletin of the EATCS, VOLUME: 103
INDEXADO EM: DBLP
NO MEU: DBLP
124
TÍTULO: Boolean lexicographic optimization: algorithms & applications  Full Text
AUTORES: Marques Silva, J ; Argelich, J; Graca, A; Lynce, I ;
PUBLICAÇÃO: 2011, FONTE: ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 62, NÚMERO: 3-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 47 Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
125
TÍTULO: cmMUS: A Tool for Circumscription-Based MUS Membership Testing  Full Text
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
126
TÍTULO: Core-Guided Binary Search Algorithms for Maximum Satisfiability
AUTORES: Federico Heras; Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: AAAI, VOLUME: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
127
TÍTULO: Empirical Study of the Anatomy of Modern Sat Solvers
AUTORES: Hadi Katebi; Karem A Sakallah; João P Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011 in Theory and Applications of Satisfiability Testing - SAT 2011 - 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings, VOLUME: 6695
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
128
TÍTULO: Haplotype inference using propositional satisfiability
AUTORES: Graca, A; Marques Silva, J ; Lynce, I ;
PUBLICAÇÃO: 2011, FONTE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXADO EM: Scopus CrossRef: 1
129
TÍTULO: Haplotype Inference Using Propositional Satisfiability
AUTORES: Ana Graça; João Marques Silva ; Inês Lynce ;
PUBLICAÇÃO: 2011, FONTE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXADO EM: DBLP Unpaywall
NO MEU: DBLP
130
TÍTULO: Haplotype inference with pseudo-Boolean optimization  Full Text
AUTORES: Graça, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
PUBLICAÇÃO: 2011, FONTE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in ANNALS OF OPERATIONS RESEARCH, VOLUME: 184, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 12 Unpaywall
NO MEU: ORCID
Página 13 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