Inês Lynce, João Marques-Silva. Haplotype Inference with Boolean Satisfiability. International Journal on Artificial Intelligence Tools, 17(2):355-387, 2008. [doi]
@article{LynceM08,
title = {Haplotype Inference with Boolean Satisfiability},
author = {Inês Lynce and João Marques-Silva},
year = {2008},
doi = {10.1142/S0218213008003935},
url = {http://dx.doi.org/10.1142/S0218213008003935},
researchr = {https://researchr.org/publication/LynceM08},
cites = {0},
citedby = {0},
journal = {International Journal on Artificial Intelligence Tools},
volume = {17},
number = {2},
pages = {355-387},
}