Counting CSP solutions using generalized XOR constraints (2007)

by Carla P Gomes, Willem jan Van Hoeve, Ashish Sabharwal, Bart Selman
Venue:In AAAI