João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



171
TÍTULO: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
AUTORES: Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: RCRA, VOLUME: 451
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
172
TÍTULO: Efficient haplotype inference with combined CP and OR techniques  Full Text
AUTORES: Graca, A; Marques Silva, J ; Lynce, I ; Oliveira, AL ;
PUBLICAÇÃO: 2008, FONTE: 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems in INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS, VOLUME: 5015
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
173
TÍTULO: Haplotype Inference with Boolean Constraint Solving: An Overview
AUTORES: Lynce, I ; Graça, A; Marques Silva, J ; Oliveira, AL ;
PUBLICAÇÃO: 2008, FONTE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
NO MEU: ORCID
174
TÍTULO: Haplotype inference with Boolean satisfiability  Full Text
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2008, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 17, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 16 Unpaywall
NO MEU: ORCID | DBLP
175
TÍTULO: Improvements to Hybrid Incremental SAT Algorithms
AUTORES: Florian Letombe; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008 in Theory and Applications of Satisfiability Testing - SAT 2008, 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings, VOLUME: 4996
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
176
TÍTULO: Model Checking Event-B by Encoding into Alloy
AUTORES: Paulo J Matos; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, VOLUME: 5238
INDEXADO EM: DBLP
NO MEU: DBLP
177
TÍTULO: Model checking with Boolean Satisfiability  Full Text
AUTORES: Marques Silva, J ;
PUBLICAÇÃO: 2008, FONTE: JOURNAL OF ALGORITHMS, VOLUME: 63, NÚMERO: 1-3
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
178
TÍTULO: On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization
AUTORES: Federico Heras; Vasco M Manquinho ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: 21th International Florida Artificial Intelligence Research Society Conference, FLAIRS-21 in Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
179
TÍTULO: Practical applications of boolean satisfiability
AUTORES: Joao Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08
INDEXADO EM: Scopus CrossRef: 51 Unpaywall
NO MEU: ORCID
180
TÍTULO: Symmetry Breaking for Maximum Satisfiability PDF
AUTORES: Marques Silva, J ; Lynce, I ; Manquinho, V ;
PUBLICAÇÃO: 2008, FONTE: 15th International Conference on Logic for Programming Artificial Intelligence and Reasoning in Logic for Programming, Artificial Intelligence, and Reasoning, Proceedings, VOLUME: 5330
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef Unpaywall
NO MEU: ORCID | DBLP
Página 18 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