Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
DPLL
Nachdem’s letztes Jahr da ein bisschen Verwirrung beim Thema DPLL und clause learning gab hatte ich da mal was zusammengeschrieben und wollte euch das nicht vorenthalten:
http://blog.logicalphalluses.net/2017/01/15/sat-solving-dpll-clause-learning-and-implication-graphs/
1 „Gefällt mir“