1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 人工智能

CN114091392B 基于线性规划的布尔可满足性判定方法 （中国科学院重庆绿色智能技术研究院）.docxVIP

  • 0
  • 0
  • 约8.95千字
  • 约 17页
  • 2026-03-23 发布于山西
  • 举报

CN114091392B 基于线性规划的布尔可满足性判定方法 （中国科学院重庆绿色智能技术研究院）.docx

    (19)国家知识产权局

    (12)发明专利

    (10)授权公告号CN114091392B

    (45)授权公告日2025.06.24

    (21)申请号202111391168.6

    (22)申请日2021.11.19

    (65)同一申请的已公布的文献号申请公布号CN114091392A

    (43)申请公布日2022.02.25

    (73)专利权人中国科学院重庆绿色智能技术研究院

    地址400714重庆市北碚区水土镇水土高

    新园方正大道266号专利权人方成玲

    (72)发明人刘江方成玲

    (51)Int.Cl.

    G06F30/3323(2020.01)

    (56)对比文件

    CN

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >