Tarskian Set Constraints Are in NEXPTIME.

Pawel Mielniczuk, Leszek Pacholski

Browse the full MFCS paper archive.