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
INDEXED IN: Scopus DBLP
22
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
INDEXED IN: Unpaywall
23
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
INDEXED IN: Unpaywall
24
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
INDEXED IN: Unpaywall
26
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
INDEXED IN: Scopus WOS DBLP CrossRef: 6
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
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
INDEXED IN: Scopus WOS DBLP CrossRef: 18
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
Page 3 of 3. Total results: 29.