Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete

Kjartan Stefnsson

Browse the full LICS paper archive.