Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints über endlichen MengenAlexander NareyekVyprodánoPohlídat
