Assertion: local consistency | /r/CapableOf | prove satisfiability
Facets:
value: in some restricted cases
type: OTHER
Source sentences:
text: Local consistency proves satisfiability in some restricted cases (see Complexity of constraint satisfaction#Restrictions).