Tractable constraints closed under a binary operation

Opis bibliograficzny
Główni autorzy: Bulatov, A, Jeavons, P
Format: Report
Wydane: Oxford University Computing Laboratory 2000