Unit propagation: Revision history

Jump to navigation Jump to search
Template:FlatlistExternal tools:

Template:Endflatlist

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

8 December 2024

  • curprev 02:3602: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.
Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=Unit_propagation"