Heuristics for Fast Exact Model Counting

著者: Tian Sang, Paul Beame, Henry A. Kautz - Lecture notes in computer science 2005 被引用: 93