Tractable constraints closed under a binary operation

Bibliografski detalji
Glavni autori: Bulatov, A, Jeavons, P
Format: Report
Izdano: Oxford University Computing Laboratory 2000