Tractable constraints closed under a binary operation

Detalles Bibliográficos
Autores principales: Bulatov, A, Jeavons, P
Formato: Report
Publicado: Oxford University Computing Laboratory 2000