Solving Systems of Set Constraints with Negated Subset Relationships

Rmi Gilleron, Sophie Tison, Marc Tommasi

Browse the full FOCS paper archive.