Quantified constraints: algorithms and complexity

Dades bibliogràfiques
Autors principals: Börner, F, Bulatov, A, Jeavons, P, Krokhin, A
Format: Conference item
Publicat: 2003