Assertion: graph's g | /r/HasProperty | the graph of solutions
Facets:
value: to a 2-satisfiability instance
type: OTHER
Source sentences:
text: let G be the graph of solutions to a 2-satisfiability instance; without loss of generality this instance can be formulated in such a way that no two variables are always equal or always unequal in every solution.