 | 2011 |
| 8 |  | Ana Graça,
João Marques-Silva,
Inês Lynce:
Haplotype Inference Using Propositional Satisfiability.
Mathematical Approaches to Polymer Sequence Analysis and Related Problems 2011: 127-147 |
| 7 |  | João Marques-Silva,
Josep Argelich,
Ana Graça,
Inês Lynce:
Boolean lexicographic optimization: algorithms & applications.
Ann. Math. Artif. Intell. 62(3-4): 317-343 (2011) |
| 6 |  | Ana Graça,
João Marques-Silva,
Inês Lynce,
Arlindo L. Oliveira:
Haplotype inference with pseudo-Boolean optimization.
Annals OR 184(1): 137-162 (2011) |
| 2010 |
| 5 |  | Ana Graça,
Inês Lynce,
João Marques-Silva,
Arlindo L. Oliveira:
Efficient and Accurate Haplotype Inference by Combining Parsimony and Pedigree Information.
ANB 2010: 38-56 |
| 2008 |
| 4 |  | Ana Graça,
João Marques-Silva,
Inês Lynce,
Arlindo L. Oliveira:
Efficient Haplotype Inference with Combined CP and OR Techniques.
CPAIOR 2008: 308-312 |
| 3 |  | Inês Lynce,
Ana Graça,
João Marques-Silva,
Arlindo L. Oliveira:
Haplotype Inference with Boolean Constraint Solving: An Overview.
ICTAI (1) 2008: 92-100 |
| 2007 |
| 2 |  | Ana Graça,
João Marques-Silva,
Inês Lynce,
Arlindo L. Oliveira:
Efficient Haplotype Inference with Pseudo-boolean Optimization.
AB 2007: 125-139 |
| 1 |  | João Marques-Silva,
Inês Lynce,
Ana Graça,
Arlindo L. Oliveira:
Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection.
EPIA Workshops 2007: 621-632 |