Login / Signup
On the conditions for the finite termination of ADMM and its applications to SOS polynomials feasibility problems.
Hikaru Komeiji
Sunyoung Kim
Makoto Yamashita
Published in:
Comput. Optim. Appl. (2019)
Keyphrases
</>
computer vision
problems involving
multiscale
higher order
theorem prover