Counting CSP Solutions Using Generalized XOR Constraints.

Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Bart Selman

Browse the full AAAI paper archive.