Dissociation-Based Oblivious Bounds for Weighted Model Counting.

Vibhav Gogate

Browse the full ISAIM paper archive.