Engineering an Efficient Preprocessor for Model Counting.

Mate Soos, Kuldeep S. Meel

Browse the full DAC paper archive.