Quantified constraints: algorithms and complexity

Библиографические подробности
Главные авторы: Börner, F, Bulatov, A, Jeavons, P, Krokhin, A
Формат: Conference item
Опубликовано: 2003