Centrality Heuristics for Exact Model Counting.

Bernhard Bliem, Matti Jrvisalo

Browse the full ICTAI paper archive.