Tractable constraints closed under a binary operation
Andrei Bulatov and Peter Jeavons
Institution
Oxford University Computing Laboratory
Number
PRG−TR−12−00
Pages
27
Year
2000
Andrei Bulatov and Peter Jeavons