Generic ILP vs Specialized 0-1 ILP for Haplotype InferenceAna Graça, Inês Lynce, João Marques‐Silva, Arlindo L. OliveiraePrints Soton (University of Southampton) conference
SUFFIX ARRAYS - A Competitive Choice for Fast Lempel-Ziv CompressionsArtur Ferreira, Arlindo L. Oliveira, Mário A. T. Figueiredo conference
Haplotype Inference with Boolean Constraint Solving: An OverviewInês Lynce, Ana Graça, João Marques‐Silva, Arlindo L. Oliveira conference
Models and Algorithms for Computing Minimum-Size Prime ImplicantsVasco Manquinho, Arlindo L. Oliveira, João Marques‐Silva conference