SyCo-AE conjecture on approximating full-space constraints
SyCo-AE conjecture. The full-space constraint can be approximated by
MathDB