Open-Universe Weighted Model Counting. Belle, V. In AAAI, 2017.
Paper bibtex @inproceedings{Belle:2017aa,
Author = {Vaishak Belle},
Booktitle = {AAAI},
Date-Added = {2016-11-13 10:13:20 +0000},
Date-Modified = {2016-12-02 10:20:57 +0000},
Title = {Open-Universe Weighted Model Counting},
Url = {https://cl.ly/iJSv/download/oupaper.pdf},
Year = {2017},
Bdsk-Url-1 = {https://cl.ly/iJSv/download/oupaper.pdf}}
Downloads: 0
{"_id":"jRM9h5X77dX6WPwTN","bibbaseid":"belle-openuniverseweightedmodelcounting-2017","downloads":0,"creationDate":"2016-11-13T10:15:18.803Z","title":"Open-Universe Weighted Model Counting","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","date-added":"2016-11-13 10:13:20 +0000","date-modified":"2016-12-02 10:20:57 +0000","title":"Open-Universe Weighted Model Counting","url":"https://cl.ly/iJSv/download/oupaper.pdf","year":"2017","bdsk-url-1":"https://cl.ly/iJSv/download/oupaper.pdf","bibtex":"@inproceedings{Belle:2017aa,\n\tAuthor = {Vaishak Belle},\n\tBooktitle = {AAAI},\n\tDate-Added = {2016-11-13 10:13:20 +0000},\n\tDate-Modified = {2016-12-02 10:20:57 +0000},\n\tTitle = {Open-Universe Weighted Model Counting},\n\tUrl = {https://cl.ly/iJSv/download/oupaper.pdf},\n\tYear = {2017},\n\tBdsk-Url-1 = {https://cl.ly/iJSv/download/oupaper.pdf}}\n\n","author_short":["Belle, V."],"key":"Belle:2017aa","id":"Belle:2017aa","bibbaseid":"belle-openuniverseweightedmodelcounting-2017","role":"author","urls":{"Paper":"https://cl.ly/iJSv/download/oupaper.pdf"},"metadata":{"authorlinks":{"belle, v":"https://bibbase.org/show?bib=https://dblp.org/pid/52/570.bib"}},"downloads":0},"search_terms":["open","universe","weighted","model","counting","belle"],"keywords":[],"authorIDs":["545792562abc8e9f37000523","5da9a083452932db010000be","5e60e839839e59df010000ed","vsrgwisAvsx5co5Zd"],"dataSources":["r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}