Heuristics for Fast Exact Model Counting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tian Sang, Paul Beame, Henry A. Kautz. Heuristics for Fast Exact Model Counting. In Fahiem Bacchus, Toby Walsh, editors, Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings. Volume 3569 of Lecture Notes in Computer Science, pages 226-240, Springer, 2005. [doi]

This author has not been identified. Look up 'Tian Sang' in GoogleThis author has not been identified. Look up 'Paul Beame' in GoogleThis author has not been identified. Look up 'Henry A. Kautz' in Google

runs on WebDSL