João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 265



181
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
182
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
183
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
184
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
185
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
186
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
187
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 Mag., VOLUME: 28, NÚMERO: 4
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
188
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
189
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
190
TÍTULO: Towards robust CNF encodings of cardinality constraints
AUTORES: Marques Silva, J ; Lynce, I ;
PUBLICAÇÃO: 2007, FONTE: 13th International Conference on Principles and Practice of Constraint Programming (CP 2007) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2007, VOLUME: 4741
INDEXADO EM: Scopus WOS DBLP CrossRef: 31
NO MEU: ORCID | DBLP
Página 19 de 27. Total de resultados: 265.

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