Assertion: baron | /r/CapableOf | construct reliable relaxations
Facets:
Source sentences:
text: The model should be modified in order to provide bounds for variables and intermediate expressions that make it possible for BARON to construct reliable relaxations.