@inproceedings{Belle:2017ab,
	Author = {Vaishak Belle},
	Booktitle = {AAAI Workshop: Symbolic Inference and Optimization},
	Date-Added = {2016-12-13 14:04:17 +0000},
	Date-Modified = {2016-12-13 14:05:40 +0000},
	Title = {Open-Universe Weighted Model Counting: Extended Abstract},
	Url = {https://cl.ly/iRMt/download/15132-65264-1-RV.pdf},
	Year = {2017},
	Bdsk-Url-1 = {https://cl.ly/iJSv/download/oupaper.pdf}}

{"_id":"sDpNj5g3XJsAgGRKH","bibbaseid":"belle-openuniverseweightedmodelcountingextendedabstract-2017","downloads":0,"creationDate":"2016-12-13T14:06:48.045Z","title":"Open-Universe Weighted Model Counting: Extended Abstract","author_short":["Belle, V."],"year":2017,"bibtype":"inproceedings","biburl":"https://dl.dropboxusercontent.com/s/jwpnfg9gs3q2698/web.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"booktitle":"AAAI Workshop: Symbolic Inference and Optimization","date-added":"2016-12-13 14:04:17 +0000","date-modified":"2016-12-13 14:05:40 +0000","title":"Open-Universe Weighted Model Counting: Extended Abstract","url":"https://cl.ly/iRMt/download/15132-65264-1-RV.pdf","year":"2017","bdsk-url-1":"https://cl.ly/iJSv/download/oupaper.pdf","bibtex":"@inproceedings{Belle:2017ab,\n\tAuthor = {Vaishak Belle},\n\tBooktitle = {AAAI Workshop: Symbolic Inference and Optimization},\n\tDate-Added = {2016-12-13 14:04:17 +0000},\n\tDate-Modified = {2016-12-13 14:05:40 +0000},\n\tTitle = {Open-Universe Weighted Model Counting: Extended Abstract},\n\tUrl = {https://cl.ly/iRMt/download/15132-65264-1-RV.pdf},\n\tYear = {2017},\n\tBdsk-Url-1 = {https://cl.ly/iJSv/download/oupaper.pdf}}\n\n","author_short":["Belle, V."],"key":"Belle:2017ab","id":"Belle:2017ab","bibbaseid":"belle-openuniverseweightedmodelcountingextendedabstract-2017","role":"author","urls":{"Paper":"https://cl.ly/iRMt/download/15132-65264-1-RV.pdf"},"metadata":{"authorlinks":{"belle, v":"https://bibbase.org/show?bib=https://dblp.org/pid/52/570.bib&msg=embed"}},"downloads":0},"search_terms":["open","universe","weighted","model","counting","extended","abstract","belle"],"keywords":[],"authorIDs":["545792562abc8e9f37000523","5e60e839839e59df010000ed","vsrgwisAvsx5co5Zd"],"dataSources":["r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}