咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 控制科学与工程
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 网络空间安全
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...

主题

  • 2 篇 极大可满足子集
  • 2 篇 极小不可满足子集
  • 2 篇 幂集探索
  • 1 篇 mus枚举
  • 1 篇 不可行分析
  • 1 篇 命题可满足问题
  • 1 篇 双模型

机构

  • 2 篇 吉林大学
  • 2 篇 符号计算与知识工...

作者

  • 2 篇 欧阳丹彤
  • 2 篇 张立明
  • 1 篇 刘梦
  • 1 篇 董博文
  • 1 篇 田乃予
  • 1 篇 高菡
  • 1 篇 蒋璐宇

语言

  • 2 篇 中文
检索条件"主题词=幂集探索"
共 2 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
针对MUS求解问题的加强剪枝策略
收藏
分享
引用
软件学报 2024年 第4期35卷 1964-1979页
作者： 蒋璐宇 欧阳丹彤 董博文 张立明 吉林大学计算机科学与技术学院 吉林长春130012 吉林大学软件学院 吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012
极小不可满足子集(minimal unsatisfiable subsets,MUS)的求解是布尔可满足性问题中的一个重要子问题.对于一个给定的不可满足问题,其MUS的求解能够反映出问题中导致其不可满足的关键原因.然而,MUS的求解是一项极其耗时的任务,不同的剪... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于双模型的MUS求解方法
收藏
分享
引用
计算机研究与发展 2019年 第12期56卷 2623-2631页
作者： 欧阳丹彤 高菡 田乃予 刘梦 张立明 吉林大学软件学院 长春130012 吉林大学计算机科学与技术学院 长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012
求解不可满足问题的极小不可满足子集(minimal unsatisfiable subset,MUS)是人工智能领域的重要研究方向.MARCO-M方法是目前采用单一极大化模型求解MUS效率最高的方法,但此方法未对求解空间进行进一步有效剪枝.针对MARCO-M方法的不足,... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件