Tractable constraints closed under a binary operation

Bibliografiske detaljer
Main Authors: Bulatov, A, Jeavons, P
Format: Report
Udgivet: Oxford University Computing Laboratory 2000