Assertion: baron | /r/CapableOf | declare problem
Facets:
Source sentences:
text: If BARON declares a problem as unbounded, it will search for and may report a vertex and direction of an unbounded ray.
text: If BARON declares a problem as infeasible, it has the capability to identify a subset of the constraints that are infeasible and become feasible once any one of them is eliminated.