Assertion: checkers | /r/HasProperty | exptime-complete
Facets:
value: without this bound
type: OTHER
Source sentences:
text: However, without this bound, Checkers is EXPTIME-complete.