@inproceedings{DBLP:conf/aaai/Belle17,
  author       = {Vaishak Belle},
  editor       = {Satinder Singh and
                  Shaul Markovitch},
  title        = {Open-Universe Weighted Model Counting},
  booktitle    = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
                  February 4-9, 2017, San Francisco, California, {USA}},
  pages        = {3701--3708},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/aaai.v31i1.11057},
  doi          = {10.1609/AAAI.V31I1.11057},
  timestamp    = {Mon, 04 Sep 2023 14:40:32 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Belle17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_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://dblp.org/pid/52/570.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"editor":[{"firstnames":["Satinder"],"propositions":[],"lastnames":["Singh"],"suffixes":[]},{"firstnames":["Shaul"],"propositions":[],"lastnames":["Markovitch"],"suffixes":[]}],"title":"Open-Universe Weighted Model Counting","booktitle":"Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA","pages":"3701–3708","publisher":"AAAI Press","year":"2017","url":"https://doi.org/10.1609/aaai.v31i1.11057","doi":"10.1609/AAAI.V31I1.11057","timestamp":"Mon, 04 Sep 2023 14:40:32 +0200","biburl":"https://dblp.org/rec/conf/aaai/Belle17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/Belle17,\n author = {Vaishak Belle},\n editor = {Satinder Singh and\n Shaul Markovitch},\n title = {Open-Universe Weighted Model Counting},\n booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,\n February 4-9, 2017, San Francisco, California, {USA}},\n pages = {3701--3708},\n publisher = {{AAAI} Press},\n year = {2017},\n url = {https://doi.org/10.1609/aaai.v31i1.11057},\n doi = {10.1609/AAAI.V31I1.11057},\n timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},\n biburl = {https://dblp.org/rec/conf/aaai/Belle17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V."],"editor_short":["Singh, S.","Markovitch, S."],"key":"DBLP:conf/aaai/Belle17","id":"DBLP:conf/aaai/Belle17","bibbaseid":"belle-openuniverseweightedmodelcounting-2017","role":"author","urls":{"Paper":"https://doi.org/10.1609/aaai.v31i1.11057"},"metadata":{"authorlinks":{"belle, v":"https://vaishakbelle.com/papers"}},"downloads":0},"search_terms":["open","universe","weighted","model","counting","belle"],"keywords":[],"authorIDs":["545792562abc8e9f37000523","5da9a083452932db010000be","5e60e839839e59df010000ed","vsrgwisAvsx5co5Zd"],"dataSources":["r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}