The Uniform Minimum-Ones 2SAT Problem and its Application to Haplotype ClassificationHans-Joachim Böckenhauer, Michal Forišek, Ján Oravec, Björn Steffen, Kathleen Steinhöfel and Monika SteinováRAIRO-Theor. Inf. Appl., 44 3 (2010) 363-377DOI: https://doi.org/10.1051/ita/2010018