Tractable constraints closed under a binary operation

Podrobná bibliografie
Hlavní autoři: Bulatov, A, Jeavons, P
Médium: Report
Vydáno: Oxford University Computing Laboratory 2000