Weighted Model Counting With Function Symbols. Belle, V. In Elidan, G., Kersting, K., & Ihler, A., editors, Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, UAI 2017, Sydney, Australia, August 11-15, 2017, 2017. AUAI Press. Paper bibtex @inproceedings{DBLP:conf/uai/Belle17,
author = {Vaishak Belle},
editor = {Gal Elidan and
Kristian Kersting and
Alexander Ihler},
title = {Weighted Model Counting With Function Symbols},
booktitle = {Proceedings of the Thirty-Third Conference on Uncertainty in Artificial
Intelligence, {UAI} 2017, Sydney, Australia, August 11-15, 2017},
publisher = {{AUAI} Press},
year = {2017},
url = {http://auai.org/uai2017/proceedings/papers/132.pdf},
timestamp = {Mon, 05 Dec 2022 15:54:38 +0100},
biburl = {https://dblp.org/rec/conf/uai/Belle17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"MXusBp7fTtBJmnYb2","bibbaseid":"belle-weightedmodelcountingwithfunctionsymbols-2017","downloads":0,"creationDate":"2017-07-03T11:11:32.748Z","title":"Weighted Model Counting With Function Symbols","author_short":["Belle, V."],"year":2017,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"editor":[{"firstnames":["Gal"],"propositions":[],"lastnames":["Elidan"],"suffixes":[]},{"firstnames":["Kristian"],"propositions":[],"lastnames":["Kersting"],"suffixes":[]},{"firstnames":["Alexander"],"propositions":[],"lastnames":["Ihler"],"suffixes":[]}],"title":"Weighted Model Counting With Function Symbols","booktitle":"Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, UAI 2017, Sydney, Australia, August 11-15, 2017","publisher":"AUAI Press","year":"2017","url":"http://auai.org/uai2017/proceedings/papers/132.pdf","timestamp":"Mon, 05 Dec 2022 15:54:38 +0100","biburl":"https://dblp.org/rec/conf/uai/Belle17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/uai/Belle17,\n author = {Vaishak Belle},\n editor = {Gal Elidan and\n Kristian Kersting and\n Alexander Ihler},\n title = {Weighted Model Counting With Function Symbols},\n booktitle = {Proceedings of the Thirty-Third Conference on Uncertainty in Artificial\n Intelligence, {UAI} 2017, Sydney, Australia, August 11-15, 2017},\n publisher = {{AUAI} Press},\n year = {2017},\n url = {http://auai.org/uai2017/proceedings/papers/132.pdf},\n timestamp = {Mon, 05 Dec 2022 15:54:38 +0100},\n biburl = {https://dblp.org/rec/conf/uai/Belle17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V."],"editor_short":["Elidan, G.","Kersting, K.","Ihler, A."],"key":"DBLP:conf/uai/Belle17","id":"DBLP:conf/uai/Belle17","bibbaseid":"belle-weightedmodelcountingwithfunctionsymbols-2017","role":"author","urls":{"Paper":"http://auai.org/uai2017/proceedings/papers/132.pdf"},"metadata":{"authorlinks":{"belle, v":"https://bibbase.org/show?bib=www.cs.toronto.edu/kr/publications/list.bib&group0=year&filter=authors:Belle"}},"downloads":0},"search_terms":["weighted","model","counting","function","symbols","belle"],"keywords":[],"authorIDs":["vsrgwisAvsx5co5Zd"],"dataSources":["r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}