Approximate Model Counting via Extension Rule.

Jinyan Wang, Minghao Yin, Jingli Wu

Browse the full FAW paper archive.