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]
@inproceedings{Xia12-0,
title = {Generalized Weighted Model Counting: An Efficient Monte-Carlo Meta-Algorithm},
author = {Lirong Xia},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/FSS/FSS12/paper/view/5584},
researchr = {https://researchr.org/publication/Xia12-0},
cites = {0},
citedby = {0},
booktitle = {Machine Aggregation of Human Judgment, Papers from the 2012 AAAI Fall Symposium, Arlington, Virginia, USA, November 2-4, 2012},
volume = {FS-12-06},
series = {AAAI Technical Report},
publisher = {AAAI},
}