SAT求解

Grundlagen公司

• Aussagenlogik公司
• Normalformen公司
• kombinatorische Eigenschaften von（k-）SAT考试
• Tseitin Codierung公司
• NP-Vollständigkeit von SAT公司

Kalkülbasierte算法

• 分辨率
• 戴维斯·普特南（DP）

DPLL-算法

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

洛卡尔·苏奇

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

Spezialfälle von SAT公司

• 2千立方英尺
• 喇叭
• 可重命名喇叭

SAT标准

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

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