共 31 条
- [1] [Anonymous], AI MAGAZINE
- [2] [Anonymous], 2000, The mathematica book
- [3] [Anonymous], IJCAI
- [4] Applegate D. L., 2007, Princeton Series in Applied Mathematics
- [5] Arbelaez A., 2013, TPLP, V13
- [6] Babai Laszlo., 1979, Monte Carlo algorithms in graph isomorphism testing
- [7] Balint A., 2010, SAT 10
- [8] Balint A., 2012, SAT 12
- [9] Bloom B., 2012, SAT 12
- [10] Een N., 2003, SAT 03