SATzilla:SAT基于投资组合的算法选择

关于SATZILA的更多信息：

我们关于SATZILA的论文：

• SATzilla2009:SAT的自动算法组合.L.Xu、F.Hutter、H.H.Hoos、K.Leyton-Brown——SAT考试2009年竞赛，2009年SAT竞赛，2009。[PDF格式]
• SATzilla：基于投资组合的算法选择坐L.Xu、F.Hutter、H.H.Hoos、K.Leyton-Brown——期刊《人工智能研究》第32卷第565-606页，2008年。[PDF格式]
• SATzilla2008：自动算法组合坐.L.Xu、F.Hutter、H.H.Hoos、K.Leyton Brown-SAT竞赛2008，解算器描述，2008。[PDF格式]
• SATzilla-07：一种算法的设计与分析SAT投资组合L.Xu、F.Hutter、H.H.Hoos和K。莱顿-布朗第十三届国际会议记录约束编程原理与实践（CP-07），第712-727页，2007. [PDF格式]
• SATzilla2007：新的改进算法组合坐.L.Xu、F.Hutter、H.H.Hoos、K.Leyton-Brown——SAT考试2007年竞赛，解算器描述，2007年。[PDF格式]
• SATzilla：SAT的算法组合.E.（电气）。Nudelman、A.Devkar、Y.Shoham、K.Leyton-Brown、H.HoosSAT竞赛2004，解算器描述，2004。[PDF格式]

用于训练SATZILA的实例：

• 2002年SAT竞赛数据(所有SAT竞赛网站的链接）
• 2003年SAT竞赛数据(所有SAT竞赛网站的链接）
• 2004年SAT竞赛数据(随机，手工制作的，工业SAT竞赛网站的链接）
• 2005年SAT竞赛数据(随机，手工制作的，工业SAT竞赛网站的链接）
• 2006年SAT竞赛数据(测试1，测试2，竞争数据来自SAT RACE的链接）
• 2007年SAT竞赛数据(随机，手工制作的，工业SAT竞赛网站的链接）
• 2008年SAT竞赛数据(测试1，测试2，竞争数据来自SAT竞赛的链接）

SATzilla2009培训的功能和运行时数据

• 完整的数据(下载)

有用的代码

• 实例特征计算代码(下载)
• 算法定时代码(下载)