Maximum satisfiability problem: 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.

3 February 2014

  • curprev 02:1402:14, 3 February 2014‎ en>David Eppstein‎ 5,504 bytes +5,504‎ Rewrite a little to avoid unnecessary abbreviations, but this seems to have enough context to me. Untag. Add an example and some sections

7 September 2011

Retrieved from "https://en.formulasearchengine.com/wiki/Maximum_satisfiability_problem"