CSSC14公司

参与者

解算器	提交人	参考
卡环-3.0.4-p8	马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）和托尔斯滕·绍布（Torsten Schaub）	[3]
隐匿性萎缩	马特·索斯	[8]
玲玲	阿明·比尔	[2]
微型HACK-999ED-CSSC	Chanseok噢	不适用
风险-4.27	诺伯特·曼泰	[7]
SparrowToRiss公司	阿德里安·巴林特和诺伯特·曼泰	[1]

解算器	提交人	参考
卡环-3.0.4-p8	马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）和托尔斯滕·绍布（Torsten Schaub）	[3]
隐匿性萎缩	马特·索斯	[8]
玲玲	阿明·比尔	[2]
微型HACK-999ED-CSSC	Chanseok噢	不适用
风险-4.27	诺伯特·曼泰	[7]
SparrowToRiss公司	阿德里安·巴林特和诺伯特·曼泰	[1]
耶鲁卫星公司	阿明·比尔	[2]

解算器	提交人	参考
卡环-3.0.4-p8	马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）和托尔斯滕·绍布（Torsten Schaub）	[3]
DCCASat+三月-rw	川洛、蔡少伟、吴伟、苏凯乐	[5]
微型HACK-999ED-CSSC	Chanseok噢	不适用
风险-4.27	诺伯特·曼泰	[7]
SparrowToRiss公司	阿德里安·巴林特和诺伯特·曼泰	[1]

解算器	提交人	参考
扣-3.0.4-p8	马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）和托尔斯滕·绍布（Torsten Schaub）	[3]
2014年中国建筑科学院	川洛、蔡少伟、吴伟、苏凯乐	[4,6]
微型HACK-999ED-CSSC	Chanseok噢	不适用
问题SAT	阿德里安·巴林特	[1]
SparrowToRiss公司	阿德里安·巴林特和诺伯特·曼泰	[1]
耶鲁卫星公司	阿明·比尔	[2]

[1] Balint，A.，Manthey，N.，2014年。SparrowToRiss，in：Belov，A.，Diepold，D.，Heule，M.，Järvisalo，M.（编辑），《2014年SAT竞赛论文集》。出现。

[2] Biere，A.，2014年。另一位本地搜索解决者、lingeling和朋友参加了2014年的sat竞赛，见：Belov，A.、Diepold，D.、Heule，M.、Järvisalo，M.（编辑），《2014年sat竞赛论文集》。出现。

[3] Gebser，M.，Kaufmann，B.，Schaub，T.，2012年。冲突驱动的答案集解决：从理论到实践。人工智能187-188，52-89。

[4] Luo，C.，Cai，S.，Wu，W.，Su，K.，2013年。带配置检查和可满足性中断最小值的聚焦随机行走，见：2013年约束编程会议记录（CP'13），第481-496页。

[5] Luo，C.，Cai，S.，Wu，W.，Su，K.，2014a。可满足性随机局部搜索中的双重配置检查，见：2014年人工智能会议论文集（AAAI’14），p.待出版。

[6] Luo，C.，Cai，S.，Wu，W.，Su，K.，2014b。可满足性随机局部搜索中的双重配置检查，见：2014年人工智能会议论文集（AAAI’14），p.待出版。

[7] Manthey，N.，2014年。Riss 4.27，in：Belov，A.，Diepold，D.，Heule，M.，Järvisalo，M.（编辑），2014年SAT竞赛论文集。出现。

[8] Soos，M.，2014年。CryptoMiniSat v4，in：Belov，A.，Diepold，D.，Heule，M.，Järvisalo，M.（编辑），《2014年SAT竞赛论文集》。出现。