协处理器

协处理器2.0–一个灵活的CNF简化程序(工具演示)。本文介绍了CNF简化协处理器2.0,它是协处理器[1]的扩展。它以模块化的方式实现了几乎所有当前已知的简化技术,并提供了对每种技术的访问,以独立地执行它们。此外,还可以对变量集进行增量求解。实验表明,协处理器2.0的性能优于其前身或卫星[


zbMATH中的参考文献(参考文献14条)

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

  1. 拉涅兹,让-玛丽;伦卡,伊曼纽;马奎斯,皮埃尔:模型计数的可定义性(2020)
  2. 贝格,耶利米亚斯;Järvisalo,Matti:基于加权部分最大可满足性的成本最优约束相关聚类(2017)
  3. 赫特,弗兰克;林道尔,马吕斯;巴林特,阿德里安;贝利斯,萨姆;霍斯,霍尔格;凯文·莱顿·布朗:可配置SAT解算器挑战赛(CSSC)(2017)
  4. 图卡,科霍宁;贝格,耶利米亚斯;赛科,保罗;Järvisalo,Matti:Maxpre:an extended maxsat预处理器(2017)
  5. 拉涅兹,让-玛丽;Marquis,Pierre:预处理技术及其对命题模型计数的影响(2017)
  6. 勒弗里奥,卢多维奇;巴力,苏黑卜;索皮娜,朱利安;Kordon,Fabrice:《无痛:并行SAT解决框架》(2017)
  7. 菲利浦,托比亚斯;Rebola Pardo,Adrián:异或推理的DRAT证明(2016)
  8. 赛科,保罗;贝格,耶利米亚斯;Järvisalo,Matti:LMHS:A SAT-IP混合maxsat解算器(2016)
  9. 蔡少伟;罗、川;Su,Kaile:CCAnr:基于配置检查的非随机可满足局部搜索求解器(2015)
  10. 伊瑟,马库斯;曼蒂,诺伯特;Sinz,Carsten:CNF公式中嵌套门的识别(2015)
  11. Philipp,Tobias:基于实例分解的并行SAT解算器的表达模型(2015)
  12. 维默,拉尔夫;吉蒂娜,卡丽娜;Nist,詹妮弗;斯科尔,克里斯托夫;Becker,Bernd:DQBF ralf的预处理(2015)
  13. Manthey,Norbert:协处理器-独立的SAT预处理器(2013)ioport公司
  14. Manthey,Norbert:协处理器2.0——一个灵活的CNF简化程序(工具演示)(2012)ioport公司