Quantified constraints: algorithms and complexity

書誌詳細
主要な著者: Börner, F, Bulatov, A, Jeavons, P, Krokhin, A
フォーマット: Conference item
出版事項: 2003

類似資料