João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



171
TITLE: A MAX-SAT Algorithm Portfolio
AUTHORS: Paulo J. Matos; Jordi Planes; Florian Letombe; João Marques Silva ;
PUBLISHED: 2008, SOURCE: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, VOLUME: 178
INDEXED IN: DBLP
IN MY: DBLP
172
TITLE: A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem PDF
AUTHORS: Morgado, António ; João P Marques Silva ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0805.0202
INDEXED IN: DBLP arXiv
IN MY: DBLP
173
TITLE: Algorithms for Maximum Satisfiability using Unsatisfiable Cores
AUTHORS: João Marques Silva ; Jordi Planes;
PUBLISHED: 2008, SOURCE: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008
INDEXED IN: Scopus DBLP CrossRef: 17 Unpaywall
IN MY: ORCID | DBLP
174
TITLE: Backtracking
AUTHORS: Inês Lynce; Vasco M. Manquinho; João Marques Silva ;
PUBLISHED: 2008, SOURCE: Wiley Encyclopedia of Computer Science and Engineering
INDEXED IN: DBLP
IN MY: DBLP
175
TITLE: Boosting haplotype inference with local search  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ; Prestwich, S;
PUBLISHED: 2008, SOURCE: CONSTRAINTS, VOLUME: 13, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | ResearcherID | DBLP
176
TITLE: Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem PDF
AUTHORS: Morgado, António ; João Marques Silva ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID
177
TITLE: Efficient haplotype inference with combined CP and OR techniques  Full Text
AUTHORS: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
178
TITLE: Haplotype Inference with Boolean Constraint Solving: An Overview
AUTHORS: Lynce, I; Graca, A; Marques Silva, J ; Oliveira, AL ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
IN MY: ORCID | ResearcherID | DBLP
179
TITLE: Haplotype inference with Boolean satisfiability  Full Text
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2008, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 17, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | ResearcherID | DBLP
180
TITLE: Improvements to Hybrid Incremental SAT Algorithms
AUTHORS: Florian Letombe; João Marques Silva ;
PUBLISHED: 2008, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
Page 18 of 28. Total results: 271.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service