@inproceedings{DBLP:conf/aaai/Belle17a,
  author       = {Vaishak Belle},
  title        = {Open-Universe Weighted Model Counting: Extended Abstract},
  booktitle    = {The Workshops of the The Thirty-First {AAAI} Conference on Artificial
                  Intelligence, Saturday, February 4-9, 2017, San Francisco, California,
                  {USA}},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-17}},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15132},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Belle17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_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://dblp.org/pid/52/570.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"title":"Open-Universe Weighted Model Counting: Extended Abstract","booktitle":"The Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, Saturday, February 4-9, 2017, San Francisco, California, USA","series":"AAAI Technical Report","volume":"WS-17","publisher":"AAAI Press","year":"2017","url":"http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15132","timestamp":"Mon, 04 Sep 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/aaai/Belle17a.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/Belle17a,\n author = {Vaishak Belle},\n title = {Open-Universe Weighted Model Counting: Extended Abstract},\n booktitle = {The Workshops of the The Thirty-First {AAAI} Conference on Artificial\n Intelligence, Saturday, February 4-9, 2017, San Francisco, California,\n {USA}},\n series = {{AAAI} Technical Report},\n volume = {{WS-17}},\n publisher = {{AAAI} Press},\n year = {2017},\n url = {http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15132},\n timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/aaai/Belle17a.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V."],"key":"DBLP:conf/aaai/Belle17a","id":"DBLP:conf/aaai/Belle17a","bibbaseid":"belle-openuniverseweightedmodelcountingextendedabstract-2017","role":"author","urls":{"Paper":"http://aaai.org/ocs/index.php/WS/AAAIW17/paper/view/15132"},"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":["open","universe","weighted","model","counting","extended","abstract","belle"],"keywords":[],"authorIDs":["545792562abc8e9f37000523","5e60e839839e59df010000ed","vsrgwisAvsx5co5Zd"],"dataSources":["r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}