咨询与建议

限定检索结果

文献类型

  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 控制科学与工程
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...

主题

  • 2 篇 极大可满足子集
  • 2 篇 极小不可满足子集
  • 2 篇 不可行分析
  • 1 篇 对偶性
  • 1 篇 幂集探索
  • 1 篇 碰集
  • 1 篇 mus枚举

机构

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

作者

  • 2 篇 蒋璐宇
  • 2 篇 张立明
  • 2 篇 欧阳丹彤
  • 1 篇 董博文
  • 1 篇 ouyang dantong
  • 1 篇 zhang li-ming
  • 1 篇 dong bo-wen
  • 1 篇 zhang liming
  • 1 篇 jiang luyu
  • 1 篇 太然
  • 1 篇 张奇
  • 1 篇 ouyang dan-tong
  • 1 篇 tai ran
  • 1 篇 zhang qi
  • 1 篇 jiang lu-yu

语言

  • 2 篇 中文
检索条件"主题词=不可行分析"
2 条 记 录,以下是1-10 订阅
排序:
基于增量信息交互的极小不可满足子集求解算法
收藏 引用
计算机研究与发展 2025年 第5期62卷 1226-1234页
作者: 蒋璐宇 欧阳丹彤 张奇 太然 张立明 吉林大学计算机科学与技术学院 长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012
极小不可满足子集(minimal unsatisfiable subset,MUS)的求解是理论计算机科学的重要问题.由于MUS的个数随问题规模呈指数级增长,现有算法致力于在合适的时间限制内求解出尽可能多的MUS.在庞大的搜索空间中,选择合适的节点来扩展可以大... 详细信息
来源: 评论
针对MUS求解问题的加强剪枝策略
收藏 引用
软件学报 2024年 第4期35卷 1964-1979页
作者: 蒋璐宇 欧阳丹彤 董博文 张立明 吉林大学计算机科学与技术学院 吉林长春130012 吉林大学软件学院 吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012
极小不可满足子集(minimal unsatisfiable subsets,MUS)的求解是布尔可满足性问题中的一个重要子问题.对于一个给定的不可满足问题,其MUS的求解能够反映出问题中导致其不可满足的关键原因.然而,MUS的求解是一项极其耗时的任务,不同的剪... 详细信息
来源: 评论