Counting CSP Solutions Using Generalized XOR Constraints.

Carla P. Gomes Willem Jan van Hoeve Ashish Sabharwal Bart Selman Counting CSP Solutions Using Generalized XOR Constraints. 204-209 2007 conf/aaai/2007 AAAI db/conf/aaai/aaai2007.html#GomesHSS07