Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
61
TITLE: Haplotype inference using propositional satisfiability
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I;
PUBLISHED: 2011, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
AUTHORS: Graca, A; Marques Silva, J ; Lynce, I;
PUBLISHED: 2011, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
62
TITLE: SAT solvers
AUTHORS: Joao Marques Silva ; Ines Lynce;
PUBLISHED: 2011, SOURCE: Tractability, VOLUME: 9781107025196
AUTHORS: Joao Marques Silva ; Ines Lynce;
PUBLISHED: 2011, SOURCE: Tractability, VOLUME: 9781107025196
63
TITLE: Restoring CSP Satisfiability with MaxSAT Full Text
AUTHORS: Inês Lynce; Joao Marques Silva;
PUBLISHED: 2011, SOURCE: Fundamenta Informaticae, VOLUME: 107, ISSUE: 2-3
AUTHORS: Inês Lynce; Joao Marques Silva;
PUBLISHED: 2011, SOURCE: Fundamenta Informaticae, VOLUME: 107, ISSUE: 2-3
64
TITLE: Boolean Lexicographic Optimization PDF
AUTHORS: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce;
PUBLISHED: 2010, SOURCE: 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
AUTHORS: Joao Marques Silva ; Josep Argelich; Ana Graça; Inês Lynce;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: 
ORCID
ORCID65
TITLE: Apt-pbo. solving the software dependency problem using pseudo-boolean optimization
AUTHORS: Paulo Trezentos; Inês Lynce; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10
AUTHORS: Paulo Trezentos; Inês Lynce; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10
66
TITLE: The Seventh QBF Solvers Evaluation (QBFEVAL'10)
AUTHORS: Claudia Peschiera; Luca Pulina; Armando Tacchella; Uwe Bubeck; Oliver Kullmann; Ines Lynce;
PUBLISHED: 2010, SOURCE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175
AUTHORS: Claudia Peschiera; Luca Pulina; Armando Tacchella; Uwe Bubeck; Oliver Kullmann; Ines Lynce;
PUBLISHED: 2010, SOURCE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175
INDEXED IN: 
WOS
WOS IN MY: ORCID
ORCID67
TITLE: Haplotype Inference Using Propositional Satisfiability
AUTHORS: Ana Graça; João Marques Silva; Inês Lynce;
PUBLISHED: 2010, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
AUTHORS: Ana Graça; João Marques Silva; Inês Lynce;
PUBLISHED: 2010, SOURCE: Mathematical Approaches to Polymer Sequence Analysis and Related Problems
INDEXED IN: 
Unpaywall
Unpaywall68
TITLE: Haplotype Inference by Pure Parsimony: A Survey
AUTHORS: Ana Graça; Inês Lynce; João Marques Silva; Arlindo L. Oliveira;
PUBLISHED: 2010, SOURCE: Journal of Computational Biology
AUTHORS: Ana Graça; Inês Lynce; João Marques Silva; Arlindo L. Oliveira;
PUBLISHED: 2010, SOURCE: Journal of Computational Biology
INDEXED IN: Unpaywall
Unpaywall69
TITLE: Restoring CSP Satisfiability with MaxSAT PDF
AUTHORS: Inês Lynce; Joao Marques Silva ;
PUBLISHED: 2009, SOURCE: 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
AUTHORS: Inês Lynce; Joao Marques Silva ;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: ORCID
ORCID70
TITLE: Haplotype inference with pseudo-Boolean optimization Full Text
AUTHORS: Ana Graça; João Marques Silva; Inês Lynce; Arlindo L. Oliveira;
PUBLISHED: 2009, SOURCE: Annals of Operations Research
AUTHORS: Ana Graça; João Marques Silva; Inês Lynce; Arlindo L. Oliveira;
PUBLISHED: 2009, SOURCE: Annals of Operations Research
INDEXED IN: Unpaywall
Unpaywall