Ascent++
Search
Assertion list
optimization problem
(
subgroup
of
problem
)
→ HasProperty
Results from
Ascent++
:
2
optimization problem
→
HasProperty
→
np-hard
0.38
optimization problem
→
HasProperty
→
nonconvex
0.29