Tractable constraints closed under a binary operation

Dades bibliogràfiques
Autors principals: Bulatov, A, Jeavons, P
Format: Report
Publicat: Oxford University Computing Laboratory 2000