Assertion: puzzle's solution | /r/HasProperty | one row
Facets:
Source sentences:
text: As an alternative to backtracking, solutions can be counted by recursively enumerating valid partial solutions, one row at a time.