最小布尔不可满足子式的求解算法

著录项

• 来源
  《电子学报》 |2009年第5期|993-999|共7页
• 作者

  张建民; 沈胜宇; 李思昆;

  展开▼
• 作者单位

  国防科学技术大学计算机学院,湖南长沙,410073;

  国防科学技术大学计算机学院,湖南长沙,410073;

  国防科学技术大学计算机学院,湖南长沙,410073;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 信息处理（信息加工）;
• 关键词

  形式化验证; 最小不可满足子式; 极大可满足子式; 贪心遗传算法; 蚁群算法;