1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 报告/分析
  5. 技术指导

可满足性问题的归约技术.pdfVIP

  • 17
  • 0
  • 约4.95万字
  • 约 15页
  • 2019-01-10 发布于北京
  • 举报

可满足性问题的归约技术.pdf

    StudiesinLogic,Vol.5, No. 1 (2012): 35–49 PII:1674-3202(2012)-01-0035-15 * ReductionTechniquesfor SatisfiabilityProblems Daoyun Xu DepartmentofComputer Science, Guizhou University dyxu@ Xiaofeng Wang DepartmentofComputer Science, Guizhou University wxf_gzu@163.com Abstract. A CNF

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >