Extended Conjunctive Normal Form and An Efficient Algorithm for Cardinality Constraints.

Zhendong Lei, Shaowei Cai, Chuan Luo

Browse the full IJCAI paper archive.