@inproceedings{DBLP:conf/aaai/Belle16,
  author       = {Vaishak Belle},
  editor       = {Adnan Darwiche},
  title        = {Satisfiability and Model Counting in Open Universes},
  booktitle    = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,
                  USA, February 12, 2016},
  series       = {{AAAI} Technical Report},
  volume       = {{WS-16-05}},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605},
  timestamp    = {Tue, 05 Sep 2023 08:59:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/Belle16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Xhzqe7wfsFfw5JeWr","bibbaseid":"belle-satisfiabilityandmodelcountinginopenuniverses-2016","downloads":0,"creationDate":"2016-02-21T15:04:52.801Z","title":"Satisfiability and Model Counting in Open Universes","author_short":["Belle, V."],"year":2016,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"editor":[{"firstnames":["Adnan"],"propositions":[],"lastnames":["Darwiche"],"suffixes":[]}],"title":"Satisfiability and Model Counting in Open Universes","booktitle":"Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016","series":"AAAI Technical Report","volume":"WS-16-05","publisher":"AAAI Press","year":"2016","url":"http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605","timestamp":"Tue, 05 Sep 2023 08:59:27 +0200","biburl":"https://dblp.org/rec/conf/aaai/Belle16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aaai/Belle16,\n author = {Vaishak Belle},\n editor = {Adnan Darwiche},\n title = {Satisfiability and Model Counting in Open Universes},\n booktitle = {Beyond NP, Papers from the 2016 {AAAI} Workshop, Phoenix, Arizona,\n USA, February 12, 2016},\n series = {{AAAI} Technical Report},\n volume = {{WS-16-05}},\n publisher = {{AAAI} Press},\n year = {2016},\n url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605},\n timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},\n biburl = {https://dblp.org/rec/conf/aaai/Belle16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belle, V."],"editor_short":["Darwiche, A."],"key":"DBLP:conf/aaai/Belle16","id":"DBLP:conf/aaai/Belle16","bibbaseid":"belle-satisfiabilityandmodelcountinginopenuniverses-2016","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605"},"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":["satisfiability","model","counting","open","universes","belle"],"keywords":[],"authorIDs":["545792562abc8e9f37000523","5da9a083452932db010000be","5e60e839839e59df010000ed","vsrgwisAvsx5co5Zd"],"dataSources":["r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}