Unit propagation: 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.

8 December 2024

  • curprev 03:3603:36, 8 December 2024 imported>David Eppstein 6,777 bytes +6,777 Undo. First ref is primary research on a related topic, "unit propagation lookahead", not a good source for basic definitions in this area. Second ref appears totally irrelevant; "unit propagation" does not appear in it at all.