https://1library.net/document/1y9egrdz-efficient-haplotype-inference-with-boolean-satisfiability.html