Probabilistic Model Counting with Short XORs.

Dimitris Achlioptas, Panos Theodoropoulos

Browse the full SAT paper archive.