Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints über endlichen MengenAlexander NareyekÉpuiséPrévenez-moi