Davis–Putnam algorithm: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

7 May 2014

27 January 2014

6 May 2012

  • curprev 20:1020:10, 6 May 2012en>Helpful Pixie Botm 3,929 bytes +3,929 ISBNs (Build KC)