1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 行业资料
  5. 国内专利

分支启发的变元的赋值优化算法、布尔可满足性验证算法.pdfVIP

  • 0
  • 0
  • 约9.93千字
  • 约 8页
  • 2023-06-03 发布于四川
  • 举报

分支启发的变元的赋值优化算法、布尔可满足性验证算法.pdf

    本发明公开了一种分支启发的变元的赋值优化算法、布尔可满足性验证算法。其中分支启发的变元的赋值优化算法，至少一个变元采用以下赋值步骤进行赋值：对待赋值的变元进行第一次赋值；计算赋值以后所述待赋值的变元在分支启发中发生n次冲突的第一时间；将第一次赋值的值进行取反并以取反后的值对待赋值的变元进行第二次赋值；计算赋值以后所述待赋值的变元在分支启发中发生n次冲突的第二时间；比较第一时间和第二时间，选择时间短的那次赋值的值对待赋值的变元进行赋值。本发明可以加快分支启发算法的计算时间。

    (19)中华人民共和国国家知识产权局 (12)发明专利申请 (10)申请公布号 CN 112651229 A (43)申请公布日 2021.04.13 (21)申请号 202011539595.X (22)申请日 2020.12.23 (71)申请人 国微集团（深圳）有限公司

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >