Tractable constraints closed under a binary operation

Bibliográfalaš dieđut
Váldodahkkit: Bulatov, A, Jeavons, P
Materiálatiipa: Report
Almmustuhtton: Oxford University Computing Laboratory 2000