共 20 条
[1]
BOEHNKE M, 1994, AM J HUM GENET, V55, P379
[2]
Brown M., 2011, INFERRING COAN UNPUB
[5]
Cupples L Adrienne, 2009, BMC Proc, V3 Suppl 7, pS3
[6]
Di Y., 2011, BMC P
[7]
An extensible SAT-solver
[J].
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING,
2004, 2919
:502-518
[8]
Glazner C., 2010, W N AM REG IBS ANN M
[9]
Knuth D., 2008, ART COMPUTER PROGRAM, V4
[10]
LANGE K, 1991, AM J HUM GENET, V49, P1320