Symmetric Component Caching for Model Counting on Combinatorial Instances.

Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel

Browse the full AAAI paper archive.