Counting Models using Extension Rules.

Minghao Yin, Hai Lin, Jigui Sun

Browse the full AAAI paper archive.