Ascent++
Search
Assertion list
optimization problem
(
subgroup
of
problem
)
→ ReceivesAction
Results from
Ascent++
:
1
optimization problem
→
ReceivesAction
→
solved
0.59