We consider families of symmetric linear programs (LPs) that decide a
pr...
We investigate the isomorphism problem in the setting of definable sets
...
The ellipsoid method is an algorithm that solves the (weak) feasibility ...
We analyse how the standard reductions between constraint satisfaction
p...