Lirong Xia. Generalized Weighted Model Counting: An Efficient Monte-Carlo Meta-Algorithm. In Machine Aggregation of Human Judgment, Papers from the 2012 AAAI Fall Symposium, Arlington, Virginia, USA, November 2-4, 2012. Volume FS-12-06 of AAAI Technical Report, AAAI, 2012. [doi]
Abstract is missing.