Tractable constraints closed under a binary operation

Chi tiết về thư mục
Những tác giả chính: Bulatov, A, Jeavons, P
Định dạng: Report
Được phát hành: Oxford University Computing Laboratory 2000