Tractable constraints closed under a binary operation

Xehetasun bibliografikoak
Egile Nagusiak: Bulatov, A, Jeavons, P
Formatua: Report
Argitaratua: Oxford University Computing Laboratory 2000