Maria Ines Camarate de Campos Lynce de Faria
AuthID: R-000-BN4
71
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
Unpaywall72
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
Unpaywall73
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
ORCID74
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
Unpaywall75
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
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
76
TITLE: HAPLOTYPE INFERENCE WITH BOOLEAN SATISFIABILITY Full Text
AUTHORS: INÊS LYNCE; JOÃO MARQUES SILVA;
PUBLISHED: 2008, SOURCE: International Journal on Artificial Intelligence Tools
AUTHORS: INÊS LYNCE; JOÃO MARQUES SILVA;
PUBLISHED: 2008, SOURCE: International Journal on Artificial Intelligence Tools
INDEXED IN: Unpaywall
Unpaywall77
TITLE: Symmetry Breaking for Maximum Satisfiability PDF
AUTHORS: João Marques Silva; Inês Lynce; Vasco M Manquinho;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0804.0599
AUTHORS: João Marques Silva; Inês Lynce; Vasco M Manquinho;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0804.0599
INDEXED IN: DBLP 
arXiv
DBLP arXiv78
TITLE: Towards Robust CNF Encodings of Cardinality Constraints
AUTHORS: Joao Marques-Silva; Inês Lynce;
PUBLISHED: 2007, SOURCE: Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science
AUTHORS: Joao Marques-Silva; Inês Lynce;
PUBLISHED: 2007, SOURCE: Principles and Practice of Constraint Programming – CP 2007 - Lecture Notes in Computer Science
79
TITLE: Refutation by Randomised General Resolution
AUTHORS: Steven Prestwich; Inês Lynce;
PUBLISHED: 2007, SOURCE: 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007
AUTHORS: Steven Prestwich; Inês Lynce;
PUBLISHED: 2007, SOURCE: 22nd AAAI Conference on Artificial Intelligence, AAAI 2007 in Proceedings of the 22nd AAAI Conference on Artificial Intelligence, AAAI 2007
INDEXED IN: Scopus
Scopus80
TITLE: Separating a real-life nonlinear mixture of images
AUTHORS: Almeida, LB ; Faria, M;
PUBLISHED: 2004, SOURCE: 5th International Conference on Independent Component Analysis and Blind Signal Separation (ICA) in INDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION, VOLUME: 3195
AUTHORS: Almeida, LB ; Faria, M;
PUBLISHED: 2004, SOURCE: 5th International Conference on Independent Component Analysis and Blind Signal Separation (ICA) in INDEPENDENT COMPONENT ANALYSIS AND BLIND SIGNAL SEPARATION, VOLUME: 3195
INDEXED IN: Scopus 
WOS
Scopus WOS