Heuristics for Fast Exact Model Counting

Authors: Tian Sang, Paul Beame, Henry A. Kautz - Lecture notes in computer science 2005 cited by 93