@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}
}

{"_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?msg=embed&bib=https://dblp.org/pid/52/570.bib"}},"downloads":0},"search_terms":["weighted","model","counting","function","symbols","belle"],"keywords":[],"authorIDs":["vsrgwisAvsx5co5Zd"],"dataSources":["r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC"]}