Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints über endlichen MengenAlexander NareyekUitverkochtHou mij op de hoogte