Ana Patrícia Subtil da Graça Freitas Garcia
AuthID: R-000-W0P
21
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 DBLP22
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
Unpaywall23
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
Unpaywall24
TITLE: Detecting Architecture Instabilities with Concern Traces: An Exploratory Study
AUTHORS: Eduardo Figueiredo; Ismenia Galvao; Safoora Shakil Khan; Alessandro Garcia; Claudio Sant'Anna; Afonso Pimentel; Ana Luisa Medeiros; Lyrene Fernandes; Thais Batista; Rita Ribeiro ; Pim van den Broek; Mehmet Aksit; Steffen Zschaler; Ana Moreira ;
PUBLISHED: 2009, SOURCE: Joint Working IEEE/IFIP Conference on Software Architecture/European Conference on Software Architecture in 2009 JOINT WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE AND EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE
AUTHORS: Eduardo Figueiredo; Ismenia Galvao; Safoora Shakil Khan; Alessandro Garcia; Claudio Sant'Anna; Afonso Pimentel; Ana Luisa Medeiros; Lyrene Fernandes; Thais Batista; Rita Ribeiro ; Pim van den Broek; Mehmet Aksit; Steffen Zschaler; Ana Moreira ;
PUBLISHED: 2009, SOURCE: Joint Working IEEE/IFIP Conference on Software Architecture/European Conference on Software Architecture in 2009 JOINT WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE AND EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE
25
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
Unpaywall26
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
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
27
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
28
TITLE: Efficient haplotype inference with pseudo-boolean optimization
AUTHORS: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
PUBLISHED: 2007, SOURCE: 2nd International Workshop on Algebraic Biologh in Algebraic Biology, Proceedings, VOLUME: 4545
AUTHORS: Ana Graca; Joao Marques Silva ; Ines Lynce ; Arlindo L Oliveira ;
PUBLISHED: 2007, SOURCE: 2nd International Workshop on Algebraic Biologh in Algebraic Biology, Proceedings, VOLUME: 4545
29
TITLE: Efficient and tight upper bounds for haplotype inference by pure parsimony using delayed haplotype selection
AUTHORS: Joao Marques Silva ; Ines Lynce ; Ana Graca; Arlindo L Oliveira ;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
AUTHORS: Joao Marques Silva ; Ines Lynce ; Ana Graca; Arlindo L Oliveira ;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874
