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 01:1401: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"