博物馆2

MUSer2:一个高效的MUS提取器。CNF公式最小不可满足子公式(MUSes)的提取算法有着广泛的实际应用,包括产品配置、基于知识的验证、软硬件设计和验证。本文描述了MUS提取器MUSer2。MUSer2实现了广泛的MUS提取算法,集成了许多关键的优化技术,代表了MUS抽取的最新进展。


zbMATH中的参考文献(参考文献12条,1标准件)

显示第1到第12个结果,共12个。
按年份排序(引用)

  1. 拉涅兹,让-玛丽;伦卡,伊曼纽;马奎斯,皮埃尔:模型计数的可定义性(2020)
  2. 弯曲ík、 雅罗斯拉夫;Č厄恩á, 2018年不可满足域的最小不可满足评估
  3. 布兰特,费利克斯;精神,基督徒;Peters,Dominik:通过SAT求解解决“无显示悖论”的最优边界(2017)
  4. 弯曲ík、 雅罗斯拉夫;贝尼š, 尼古拉;巴纳特,吉ří; Č厄恩á, Ivana:在有序集合中寻找边界元素及其在安全和需求分析中的应用(2016)
  5. 亚历山大·伊夫里;马利克,沙拉德;梅尔,库尔德普S。;Vardi,Moshe Y.:关于计算最小独立支撑及其在抽样和计数中的应用(2016)
  6. 利菲顿,马克H。;普雷维蒂,亚历山德罗;马利克,亚玛;Marques Silva,Joao:快速、灵活的MUS计数(2016)
  7. 巴拉巴诺夫,瓦莱里;Ivrii,Alexander:通过预处理和分块加速MUS提取(2015)
  8. Gr公司é甲状腺肿,É风险投资委员会;拉涅兹,让-玛丽;Mazure,Bertrand:关于去除MUC查找算法中的预处理最小化步骤(2015)
  9. 亚历山大·伊夫里;里夫钦,瓦迪姆;Strichman,Ofer:在增量SAT中挖掘主干文字。一种新的增量数据(2015)
  10. 齐尔克,基督徒;考夫曼,迈克尔:部分MUS计数的新方法(2015)
  11. 贝洛夫,安东;马奎斯·席尔瓦(Marques Silva),Joao:MUSer2:一种高效的MUS提取器(2014)
  12. 贝洛夫,安东;曼蒂,诺伯特;Marques Silva,Joao:并行MUS提取(2013)