Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
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
AUTORES: Graca, A; Marques Silva, J ; Lynce, I;
PUBLICAÇÃO: 2011, FONTE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
62
TÃTULO: SAT solvers
AUTORES: Joao Marques Silva ; Ines Lynce;
PUBLICAÇÃO: 2011, FONTE: Tractability, VOLUME: 9781107025196
AUTORES: Joao Marques Silva ; Ines Lynce;
PUBLICAÇÃO: 2011, FONTE: Tractability, VOLUME: 9781107025196
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
AUTORES: Inês Lynce; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: Fundamenta Informaticae, VOLUME: 107, NÚMERO: 2-3
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
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
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
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
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
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
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
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
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