On the Modelling of Constraints with Tractable Logical Operators.

Ruiwei Wang, Roland H. C. Yap

Browse the full AAAI paper archive.