Ascent++
Search
optimization problem
subgroup of
problem
,
3
assertions
HasProperty
2
np-hard
0.38
nonconvex
0.29
ReceivesAction
1
solved
0.59