You are currently offline. Some features of the site may not work correctly.
2-satisfiability
Known as: 2-SAT, MAX-2SAT, 2-CNF-SAT
In computer science, 2-satisfiability is a computational problem of assigning values to variables, each of which has two possible values, in order to… Expand