SAT求解

格兰德拉根

• Aussagenlogik公司
• Normalformen公司
• kombinatorische Eigenschaften von（k-）SAT考试
• 谢廷·科迪隆
• NP-Vollständigkeit von SAT公司

Kalkülbasierte算法

• 分辨率
• Davis Putnam（民主党）

DPLL-算法

• DPLL公司
• Heuristiken wie Monien Speckenmeyer公司
• 克劳塞勒恩

洛卡尔·苏奇

• 决定论者lokale Suche mit u berdecungscodes
• 地方随机抽样（SLS）
• 海利斯提肯

Spezialfälle von SAT公司

• 2-KNF型
• 喇叭
• 可重命名喇叭

SAT标准

• SAT Schwellenwert（相变）
• Lovasz局部引理

U.Schöning，J.Toran：Das Erfüllbarkeit问题SAT。莱曼传媒，2012年。

weder Tutorien nochübungen zu dieser Veranstaltung先生。