Short XORs for Model Counting: From Theory to Practice.

Carla P. Gomes, Jrg Hoffmann, Ashish Sabharwal, Bart Selman

Browse the full SAT paper archive.