1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 开发文档

完全析取范式群判定SHOIND-可满足性.PDFVIP

  • 14
  • 0
  • 约6.11万字
  • 约 15页
  • 2018-03-10 发布于天津
  • 举报

完全析取范式群判定SHOIND-可满足性.PDF

    完全析取范式群判定SHOIND-可满足性

    ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software , Vol.21, No.8, 2010, pp.1863− 1877 doi: 10.3724/SP.J.1001.2010.03597 Tel/Fax: +86-10 © by Institute of Software , the Chinese Academy of Sciences . All rights reserved. ∗ 完全析取范式群判定 SHOIN(D)-可满足性 1 1 1 2+ 古华茂 , 王 勋 ,

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >