https://en.wikipedia.org/w/index.php?action=history&feed=atom&title=DPLL-Algorithm DPLL-Algorithm - Revision history 2025-06-30T13:59:13Z Revision history for this page on the wiki MediaWiki 1.45.0-wmf.7 https://en.wikipedia.org/w/index.php?title=DPLL-Algorithm&diff=327640356&oldid=prev MaBoehm: Redirect 2009-11-24T10:06:59Z <p>Redirect</p> <p><b>New page</b></p><div>#REDIRECT[[DPLL algorithm]]</div> MaBoehm