Author: Tian Sang [RDF, Bibtex, BibBase, BibGraph] has 1 publication
report error (So far 0 user(s) reported errors on this item)
Combining Component Caching and Clause Learning for Effective Model Counting
Tian Sang, Fahiem Bacchus, Paul Beame, Henry A. Kautz, Toniann Pitassi.
SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing 10-13 May 2004 Vancouver BC Canada Online Proceedings
2004
