SAT求解

Eine Klausur wird für die SAT解决Vorlesung nicht angeboten。Purüfungstermine bitte mit Frau女士Fromm公司阿布卡伦。

格兰德拉根

• 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局部引理

文字：

• 脚本
• 贝格利特CD zur Vorlesung

weder Tutorien nochübungen zu dieser Veranstaltung先生。