这个SAT求解工作组（SAT SQUAD）

本页是关于“命题可满足性问题”（SAT）的研究，由奥利弗·盖布尔斯克,阿德里安·巴林特迈克尔·亨恩和其他人。

• 2011年4月7日-可以找到新的EagleUP纸稿在这里。可以找到SAT解算器EagleUP的对应源代码在这里.
• 2010年2月8日-可以下载新的SATUN纸质草案（扩展版）在这里。混合SAT解算器SATUN的相应源代码可以由在这里.
• 2009年7月6日-SAT 2009会议的幻灯片可用在这里（要播放动画，您需要XviD编解码器）
• 3.2009年7月-hybridGM3在2009年SAT竞赛中获得随机（SAT）类铜牌
• 12.2009年4月-上传了杂交GM最后版本的所有来源
• 2009年4月11日——SAT 2009会议论文的计算已经完成。
• 2009年4月9日，SAT解决工作组主页上线。

在这里你可以找到属于我们作品的下载。

• SATUN混合SAT解算器源（2010年2月8日），扩展版SAT2010纸稿Oliver Gableske和Julian Rüth合著的“SATUN：一个完整的混合SAT求解器”
• 混合GM SAT解算器源（2009年4月9日）
• SAT 2009会议论文中用于混合GM实证研究的基准集
  
• 2009年SAT会议论文的实证研究结果

阿德里安·巴林（Adrian Balint）、迈克尔·海恩（Michael Henn）、奥利弗·盖布列斯克（Oliver Gableske）
将SLS-和DPLL解决方案结合用于可满足性问题的新方法
在斯普林格LNCS 5584型第284页