结合扩展规则重构的#SAT问题增量求解方法

著录项

• 来源
  《软件学报》 |2015年第12期|3117-3129|共13页
• 作者

  贾凤雨; 欧阳丹彤; 张立明; 刘思光;

  展开▼
• 作者单位

  吉林大学计算机科学与技术学院;

  吉林长春 130012;

  符号计算与知识工程教育部重点实验室(吉林大学);

  吉林长春 130012;

  吉林大学计算机科学与技术学院;

  吉林长春 130012;

  符号计算与知识工程教育部重点实验室(吉林大学);

  吉林长春 130012;

  吉林大学计算机科学与技术学院;

  吉林长春 130012;

  符号计算与知识工程教育部重点实验室(吉林大学);

  吉林长春 130012;

  吉林大学计算机科学与技术学院;

  吉林长春 130012;

  符号计算与知识工程教育部重点实验室(吉林大学);

  吉林长春 130012;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 人工智能理论;
• 关键词

  扩展规则; 模型计数; 极大项相交集; 互补表; 增量方法;