使用SAT求解器产生所有极小冲突部件集

您当前的位置：

首页 >

文章列表页 >

使用SAT求解器产生所有极小冲突部件集

论文 | 更新时间：2025-07-02

- 使用SAT求解器产生所有极小冲突部件集
- Deriving All Minimal Conflict Sets Using Satisfiability Algorithms
- 电子学报 2009年37卷第4期页码：804-810
- 作者机构：
- 作者简介：
- 基金信息：
  
  国家自然科学基金重大项目 (No.60496320,60496321);国家自然科学基金 (No.60773097,60873148);新世纪优秀人才支持计划;吉林省科技发展计划 (No.20060532,20080107);欧盟项目 (No.TH/Asia Link/010 (111084));吉林大学"985工程"研究生创新基金 (No.20080115)
- DOI：
  中图分类号：
- 稿件说明：
移动端阅览
使用SAT求解器产生所有极小冲突部件集[J]. 电子学报, 2009,37(4):804-810.

Deriving All Minimal Conflict Sets Using Satisfiability Algorithms[J]. Acta Electronica Sinica, 2009, 37(4): 804-810.
使用SAT求解器产生所有极小冲突部件集[J]. 电子学报, 2009,37(4):804-810. DOI：

Deriving All Minimal Conflict Sets Using Satisfiability Algorithms[J]. Acta Electronica Sinica, 2009, 37(4): 804-810. DOI：

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据