共 29 条
- [1] [Anonymous], ALGEBRAIC BIOL
- [4] CLARK AG, 1990, MOL BIOL EVOL, V7, P111
- [6] An extensible SAT-solver [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2004, 2919 : 502 - 518
- [7] En Niklas., 2006, Boolean Modeling and Computation, V2, P1
- [8] EXCOFFIER L, 1995, MOL BIOL EVOL, V12, P921
- [9] Graca A, 2008, LECT NOTES COMPUT SC, V5015, P308, DOI 10.1007/978-3-540-68155-7_28
- [10] Gusfield D, 2003, LECT NOTES COMPUT SC, V2676, P144