Tractable constraints closed under a binary operation

Bibliografische gegevens
Hoofdauteurs: Bulatov, A, Jeavons, P
Formaat: Report
Gepubliceerd in: Oxford University Computing Laboratory 2000