Tractable constraints closed under a binary operation

Bibliografiset tiedot
Päätekijät: Bulatov, A, Jeavons, P
Aineistotyyppi: Report
Julkaistu: Oxford University Computing Laboratory 2000