2-satisfiability instance has a set of solutions with the structure of a median graph, in which the median of any three solutions is formed by taking a majority vote...
implications graphically as directed edges in a graph. The solution set for the same example instance is depicted in Image:2SAT median graph.svg. English...
