Toward Caching Symmetrical Subtheories for Weighted Model Counting.

Timothy Kopp, Parag Singla, Henry A. Kautz

Browse the full AAAI paper archive.