research
∙
01/23/2019
On the Power of Symmetric Linear Programs
We consider families of symmetric linear programs (LPs) that decide a pr...
share
research
∙
02/23/2018
Definable isomorphism problem
We investigate the isomorphism problem in the setting of definable sets ...
research
∙
02/07/2018
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem
The ellipsoid method is an algorithm that solves the (weak) feasibility ...
research
∙
11/20/2017