Quantified constraints: algorithms and complexity

Bibliografiset tiedot
Päätekijät: Börner, F, Bulatov, A, Jeavons, P, Krokhin, A
Aineistotyyppi: Conference item
Julkaistu: 2003