发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Generating hard satisfiability problems

Generating hard satisfiability problems

Bart Selman; David G. Mitchell; Hector J. Levesque
  • 作者Bart Selman; David G. Mitchell; Hector J. Levesque
  • 卷第81卷
  • 印刷ISSN0004-3702
  • 文件大小974.81KB
  • 发表时间1996
  • DOI10.1016/0004-3702(95)00045-3
  • 页码17-29
← 返回【学霸图书馆】主页