Verification of qualitative \(\mathbb Z\) constraints
scientific article; zbMATH DE number 5382281
scientific article