Tractable constraints closed under a binary operation

מידע ביבליוגרפי
Main Authors: Bulatov, A, Jeavons, P
פורמט: Report
יצא לאור: Oxford University Computing Laboratory 2000