ML Anthology

From Weighted to Unweighted Model Counting

Supratik Chakraborty, Dror Fried, Kuldeep S. Meel, Moshe Y. Vardi
IJCAI 2015 pp. 689-695
/ijcai/2015/chakraborty2015ijcai-weighted/
IJCAI Semantic Scholar

Cite

Text

Chakraborty et al. "From Weighted to Unweighted Model Counting." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Chakraborty et al. "From Weighted to Unweighted Model Counting." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/chakraborty2015ijcai-weighted/)

BibTeX

@inproceedings{chakraborty2015ijcai-weighted,
  title     = {{From Weighted to Unweighted Model Counting}},
  author    = {Chakraborty, Supratik and Fried, Dror and Meel, Kuldeep S. and Vardi, Moshe Y.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {689-695},
  url       = {https://mlanthology.org/ijcai/2015/chakraborty2015ijcai-weighted/}
}