Tractable constraints closed under a binary operation

Détails bibliographiques
Auteurs principaux: Bulatov, A, Jeavons, P
Format: Report
Publié: Oxford University Computing Laboratory 2000