João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



181
TÍTULO: Towards more effective unsatisfiability-based maximum satisfiability algorithms
AUTORES: Joao Marques Silva ; Vasco Manquinho ;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2008, PROCEEDINGS, VOLUME: 4996
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: ORCID | DBLP
182
TÍTULO: Breaking symmetries in SAT matrix models
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2007, FONTE: 10th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS, VOLUME: 4501
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP
183
TÍTULO: Efficient and tight upper bounds for haplotype inference by pure parsimony using delayed haplotype selection
AUTORES: Marques Silva, J ; Lynce, I ; Graca, A; Oliveira, AL ;
PUBLICAÇÃO: 2007, FONTE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
184
TÍTULO: Efficient haplotype inference with pseudo-boolean optimization
AUTORES: Graca, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
PUBLICAÇÃO: 2007, FONTE: 2nd International Workshop on Algebraic Biologh in ALGEBRAIC BIOLOGY, PROCEEDINGS, VOLUME: 4545
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
NO MEU: ORCID
185
TÍTULO: Interpolant Learning and Reuse in SAT-Based Model Checking
AUTORES: João Marques Silva ;
PUBLICAÇÃO: 2007, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 174, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
186
TÍTULO: On Using Unsatisfiability for Solving Maximum Satisfiability PDF
AUTORES: João Marques Silva ; Jordi Planes;
PUBLICAÇÃO: 2007, FONTE: CoRR, VOLUME: abs/0712.1097
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
187
TÍTULO: Random backtracking in backtrack search algorithms for satisfiability  Full Text
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2007, FONTE: DISCRETE APPLIED MATHEMATICS, VOLUME: 155, NÚMERO: 12
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
188
TÍTULO: Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing
AUTORES: João Marques Silva ; Karem A Sakallah; Inês Lynce ;
PUBLICAÇÃO: 2007, FONTE: AI Magazine, VOLUME: 28, NÚMERO: 4
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
189
TÍTULO: Theory and Applications of Satisfiability Testing - SAT 2007, 10th International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings
AUTORES: João Marques Silva ; Karem A. Sakallah;
PUBLICAÇÃO: 2007, FONTE: SAT, VOLUME: 4501
INDEXADO EM: DBLP
NO MEU: DBLP
190
TÍTULO: Towards equivalence checking between TLM and RTL models
AUTORES: Bombieri, N; Fummi, F; Pravadelli, G; Marques Silva, J ;
PUBLICAÇÃO: 2007, FONTE: 5th ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'07 in MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef: 27 Unpaywall
NO MEU: ORCID | DBLP
Página 19 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