Assertion: circuit | /r/Synonym | unsatisfiable
Facets:
Source sentences:
text: Otherwise, the circuit is called unsatisfiable.