Tractable constraints closed under a binary operation

書誌詳細
主要な著者: Bulatov, A, Jeavons, P
フォーマット: Report
出版事項: Oxford University Computing Laboratory 2000