Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper).

Tuukka Korhonen, Matti Jrvisalo

Browse the full CP paper archive.