@inproceedings{belle:2017:weighted-model-counting-w,
	Author = {V. Belle},
	Booktitle = {UAI},
	Date-Added = {2017-07-03 11:04:50 +0000},
	Date-Modified = {2017-07-03 11:05:24 +0000},
	Title = {Weighted Model Counting With Function Symbols},
	Url = {https://cl.ly/lYgU/download/uai17final.pdf},
	Year = {2017},
	Bdsk-Url-1 = {https://cl.ly/lYgU/download/uai17final.pdf}}

{"_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://dl.dropboxusercontent.com/s/jwpnfg9gs3q2698/web.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["V."],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"booktitle":"UAI","date-added":"2017-07-03 11:04:50 +0000","date-modified":"2017-07-03 11:05:24 +0000","title":"Weighted Model Counting With Function Symbols","url":"https://cl.ly/lYgU/download/uai17final.pdf","year":"2017","bdsk-url-1":"https://cl.ly/lYgU/download/uai17final.pdf","bibtex":"@inproceedings{belle:2017:weighted-model-counting-w,\n\tAuthor = {V. Belle},\n\tBooktitle = {UAI},\n\tDate-Added = {2017-07-03 11:04:50 +0000},\n\tDate-Modified = {2017-07-03 11:05:24 +0000},\n\tTitle = {Weighted Model Counting With Function Symbols},\n\tUrl = {https://cl.ly/lYgU/download/uai17final.pdf},\n\tYear = {2017},\n\tBdsk-Url-1 = {https://cl.ly/lYgU/download/uai17final.pdf}}\n\n","author_short":["Belle, V."],"key":"belle:2017:weighted-model-counting-w","id":"belle:2017:weighted-model-counting-w","bibbaseid":"belle-weightedmodelcountingwithfunctionsymbols-2017","role":"author","urls":{"Paper":"https://cl.ly/lYgU/download/uai17final.pdf"},"metadata":{"authorlinks":{"belle, v":"https://bibbase.org/show?bib=https://dblp.org/pid/52/570.bib&msg=embed"}},"downloads":0},"search_terms":["weighted","model","counting","function","symbols","belle"],"keywords":[],"authorIDs":["vsrgwisAvsx5co5Zd"],"dataSources":["r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}