Quantified constraints: algorithms and complexity

Bibliografiska uppgifter
Huvudupphovsmän: Börner, F, Bulatov, A, Jeavons, P, Krokhin, A
Materialtyp: Conference item
Publicerad: 2003