61
TÍTULO: Haplotype inference using propositional satisfiability
AUTORES: Graca, A; Marques Silva, J ; Lynce, I;
PUBLICAÇÃO: 2011, FONTE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID
62
TÍTULO: SAT solvers
AUTORES: Joao Marques Silva ; Ines Lynce;
PUBLICAÇÃO: 2011, FONTE: Tractability, VOLUME: 9781107025196
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID
63
TÍTULO: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTORES: Inês Lynce; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: Fundamenta Informaticae, VOLUME: 107, NÚMERO: 2-3
INDEXADO EM: CrossRef: 1 Unpaywall
NO MEU: ORCID
64
TÍTULO: Boolean Lexicographic Optimization PDF
AUTORES: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce;
PUBLICAÇÃO: 2010, FONTE: 17th RCRA 2010 Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion in Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@CPAIOR 2010, Bologna, Italy, June 10-11, 2010, VOLUME: 616
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
65
TÍTULO: Apt-pbo. solving the software dependency problem using pseudo-boolean optimization
AUTORES: Paulo Trezentos; Inês Lynce; Arlindo L Oliveira ;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10
INDEXADO EM: CrossRef: 7
NO MEU: ORCID
66
TÍTULO: The Seventh QBF Solvers Evaluation (QBFEVAL'10)
AUTORES: Claudia Peschiera; Luca Pulina; Armando Tacchella; Uwe Bubeck; Oliver Kullmann; Ines Lynce;
PUBLICAÇÃO: 2010, FONTE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175
INDEXADO EM: WOS
NO MEU: ORCID
67
TÍTULO: Haplotype Inference Using Propositional Satisfiability
AUTORES: Ana Graça; João Marques Silva; Inês Lynce;
PUBLICAÇÃO: 2010, FONTE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXADO EM: Unpaywall
68
TÍTULO: Haplotype Inference by Pure Parsimony: A Survey
AUTORES: Ana Graça; Inês Lynce; João Marques Silva; Arlindo L. Oliveira;
PUBLICAÇÃO: 2010, FONTE: Journal of Computational Biology
INDEXADO EM: Unpaywall
69
TÍTULO: Restoring CSP Satisfiability with MaxSAT PDF
AUTORES: Inês Lynce; Joao Marques Silva ;
PUBLICAÇÃO: 2009, FONTE: 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2009 in Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA@AI*IA 2009, Reggio Emilia, Italy, December 11-12, 2009, VOLUME: 589
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
70
TÍTULO: Haplotype inference with pseudo-Boolean optimization  Full Text
AUTORES: Ana Graça; João Marques Silva; Inês Lynce; Arlindo L. Oliveira;
PUBLICAÇÃO: 2009, FONTE: Annals of Operations Research
INDEXADO EM: Unpaywall
Página 7 de 8. Total de resultados: 80.