CAMA公司 swMATH ID: 7285 软件作者： 刘聪；安德烈亚斯·库尔曼（Andreas Kuehlmann）；马修·莫斯克维奇 描述： CAMA：一个多值可满足性求解器本文提出了多值SAT求解器CAMA。CAMA将最新开发的用于最先进的二进制SAT解算器的加速技术进行了通用化，例如布尔约束传播（BCP）的双迭代观察方案、识别第一个唯一蕴涵点（UIP）的基于冲突的学习以及非时间回溯。此外，为了提高基于冲突的学习效率，引入了一种新的最小值集（MVS）技术。通过分析冲突子句，MVS可以潜在地删减以前没有搜索过的冲突空间。讨论并评估了两种不同的决策启发式。最后将CAMA与Chaff在一个单热编码方案上的性能进行了比较。实验结果表明，对于具有大可变域的MV-SAT问题，CAMA的性能优于Chaff。 主页： http://dl.acm.org/citation.cfm？id=1009910 相关软件： 迷你锌;米斯特拉尔;iZplus公司;查夫;CSP2SAT4J型 引用于： 4文件 全部的 前5名7位作者引用 2 斯特里赫曼（Ofer Strichman） 2 迈克尔·维克斯勒 1 李小兵 1 刘军 1 阮，达 1 海克·卫尔海姆 1 徐，杨 2篇连载文章中引用 1 人工智能 1 信息科学 在2个字段中引用 4 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文