Assertion: baron | /r/CapableOf | find feasible solution
Facets:
value: with an objective of 4.23791612465
type: OTHER
Source sentences:
text: BARON subsequently performs a randomized local search procedure and, eventually, finds a feasible solution with an objective of 4.23791612465.