Quantified constraints: algorithms and complexity

Detalhes bibliográficos
Main Authors: Börner, F, Bulatov, A, Jeavons, P, Krokhin, A
Formato: Conference item
Publicado em: 2003

Registos relacionados