Set constraints with projections are in NEXPTIME

Witold Charatonik, Leszek Pacholski

Browse the full FOCS paper archive.