João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



171
TÍTULO: A MAX-SAT Algorithm Portfolio
AUTORES: Paulo J. Matos; Jordi Planes; Florian Letombe; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, VOLUME: 178
INDEXADO EM: DBLP
NO MEU: DBLP
172
TÍTULO: A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem PDF
AUTORES: Morgado, António ; João P Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: CoRR, VOLUME: abs/0805.0202
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
173
TÍTULO: Algorithms for Maximum Satisfiability using Unsatisfiable Cores
AUTORES: João Marques Silva ; Jordi Planes;
PUBLICAÇÃO: 2008, FONTE: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008
INDEXADO EM: Scopus DBLP CrossRef: 17 Unpaywall
NO MEU: ORCID | DBLP
174
TÍTULO: Backtracking
AUTORES: Inês Lynce; Vasco M Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: Wiley Encyclopedia of Computer Science and Engineering
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
175
TÍTULO: Boosting haplotype inference with local search  Full Text
AUTORES: Lynce, I ; Marques Silva, J ; Prestwich, S;
PUBLICAÇÃO: 2008, FONTE: CONSTRAINTS, VOLUME: 13, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | ResearcherID | DBLP
176
TÍTULO: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem PDF
AUTORES: Morgado, António ; João Marques Silva ;
PUBLICAÇÃO: 2008, FONTE: 15th Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2008 in Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Udine, Italy, December 12-13, 2008., VOLUME: 451
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
177
TÍTULO: Efficient haplotype inference with combined CP and OR techniques  Full Text
AUTORES: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
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: 6
NO MEU: ORCID | DBLP
178
TÍTULO: Haplotype Inference with Boolean Constraint Solving: An Overview
AUTORES: Lynce, I; Graca, 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 | ResearcherID | DBLP
179
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: 14
NO MEU: ORCID | ResearcherID | DBLP
180
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
Página 18 de 28. Total de resultados: 271.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service