Quantified constraints: algorithms and complexity

Dettagli Bibliografici
Autori principali: Börner, F, Bulatov, A, Jeavons, P, Krokhin, A
Natura: Conference item
Pubblicazione: 2003