Tractable constraints closed under a binary operation

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Bulatov, A, Jeavons, P
التنسيق: Report
منشور في: Oxford University Computing Laboratory 2000