Satisfiability and Model Counting in Open Universes. Belle, V. In Beyond NP Workshop, AAAI, 2016. ![Satisfiability and Model Counting in Open Universes [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{Belle:2016ac,
Author = {Vaishak Belle},
Booktitle = {Beyond NP Workshop, AAAI},
Date-Added = {2016-02-21 15:02:06 +0000},
Date-Modified = {2016-11-13 10:16:47 +0000},
Title = {Satisfiability and Model Counting in Open Universes},
Url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605/12378},
Year = {2016},
Bdsk-Url-1 = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605/12378}}
Downloads: 0
{"_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://dl.dropboxusercontent.com/s/jwpnfg9gs3q2698/web.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"booktitle":"Beyond NP Workshop, AAAI","date-added":"2016-02-21 15:02:06 +0000","date-modified":"2016-11-13 10:16:47 +0000","title":"Satisfiability and Model Counting in Open Universes","url":"http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605/12378","year":"2016","bdsk-url-1":"http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605/12378","bibtex":"@inproceedings{Belle:2016ac,\n\tAuthor = {Vaishak Belle},\n\tBooktitle = {Beyond NP Workshop, AAAI},\n\tDate-Added = {2016-02-21 15:02:06 +0000},\n\tDate-Modified = {2016-11-13 10:16:47 +0000},\n\tTitle = {Satisfiability and Model Counting in Open Universes},\n\tUrl = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605/12378},\n\tYear = {2016},\n\tBdsk-Url-1 = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605/12378}}\n\n","author_short":["Belle, V."],"key":"Belle:2016ac","id":"Belle:2016ac","bibbaseid":"belle-satisfiabilityandmodelcountinginopenuniverses-2016","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12605/12378"},"metadata":{"authorlinks":{"belle, v":"https://vaishakbelle.com/papers"}},"downloads":0},"search_terms":["satisfiability","model","counting","open","universes","belle"],"keywords":[],"authorIDs":["545792562abc8e9f37000523","5da9a083452932db010000be","5e60e839839e59df010000ed","vsrgwisAvsx5co5Zd"],"dataSources":["r9FAaXnZMktuR9SCv","ayruv4JDJNMLz7ieC","o8SJynH3ZqhBLq3sp","qb6u34NNzEHCho66A","7PCTuJcihysb7xARD"]}