Assertion: baron | /r/CapableOf | search for iis
Facets:
Source sentences:
text: On the other hand, DoLocal should be nonzero in order to permit local search during the solution of certain subproblems that BARON solves while searching for an IIS.