共 9 条
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
Solving propositional satisfiability problems.[J].Robert G. Jeroslow;Jinchang Wang.Annals of Mathematics and Artificial Intelligence.1990, 1
[9]
ASP.NET数据库系统项目开发实践.[M].曹斌;韩中孝主编;.科学出版社.2005,

