Tractable constraints closed under a binary operation

書目詳細資料
Main Authors: Bulatov, A, Jeavons, P
格式: Report
出版: Oxford University Computing Laboratory 2000