Propagating regular counting constraints

Publication
AAAI 2014