Quantified constraints: algorithms and complexity

Chi tiết về thư mục
Những tác giả chính: Börner, F, Bulatov, A, Jeavons, P, Krokhin, A
Định dạng: Conference item
Được phát hành: 2003