@inproceedings{muise-beyondnp16-dsharp,
author = {Muise, Christian and McIlraith, Sheila A. and Beck, J.
Christopher and Hsu, Eric},
booktitle = {AAAI 2016 Workshop on Beyond NP},
title = {{DSHARP}: Fast d-DNNF Compilation with sharpSAT (Amended Version)},
url = {http://haz.ca/dsharp-related.html},
year = {2016}
}

{"_id":"H2EAoMcjN4mcjXPS4","bibbaseid":"muise-mcilraith-beck-hsu-dsharpfastddnnfcompilationwithsharpsatamendedversion-2016","downloads":0,"creationDate":"2016-02-24T19:53:32.484Z","title":"DSHARP: Fast d-DNNF Compilation with sharpSAT (Amended Version)","author_short":["Muise, C.","McIlraith, S. A.","Beck, J. C.","Hsu, E."],"year":2016,"bibtype":"inproceedings","biburl":"https://www.cs.toronto.edu/~sheila/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Muise"],"firstnames":["Christian"],"suffixes":[]},{"propositions":[],"lastnames":["McIlraith"],"firstnames":["Sheila","A."],"suffixes":[]},{"propositions":[],"lastnames":["Beck"],"firstnames":["J.","Christopher"],"suffixes":[]},{"propositions":[],"lastnames":["Hsu"],"firstnames":["Eric"],"suffixes":[]}],"booktitle":"AAAI 2016 Workshop on Beyond NP","title":"DSHARP: Fast d-DNNF Compilation with sharpSAT (Amended Version)","url":"http://haz.ca/dsharp-related.html","year":"2016","bibtex":"@inproceedings{muise-beyondnp16-dsharp,\nauthor = {Muise, Christian and McIlraith, Sheila A. and Beck, J.\nChristopher and Hsu, Eric},\nbooktitle = {AAAI 2016 Workshop on Beyond NP},\ntitle = {{DSHARP}: Fast d-DNNF Compilation with sharpSAT (Amended Version)},\nurl = {http://haz.ca/dsharp-related.html},\nyear = {2016}\n}\n\n","author_short":["Muise, C.","McIlraith, S. A.","Beck, J. C.","Hsu, E."],"key":"muise-beyondnp16-dsharp-1","id":"muise-beyondnp16-dsharp-1","bibbaseid":"muise-mcilraith-beck-hsu-dsharpfastddnnfcompilationwithsharpsatamendedversion-2016","role":"author","urls":{"Paper":"http://haz.ca/dsharp-related.html"},"metadata":{"authorlinks":{"mcilraith, s":"https://www.cs.toronto.edu/~sheila/publications/index.html","muise, c":"https://www.haz.ca/academic-publications.html"}}},"search_terms":["dsharp","fast","dnnf","compilation","sharpsat","amended","version","muise","mcilraith","beck","hsu"],"keywords":[],"authorIDs":["GvvCbq8Y4n9QqTySC","f4LpZ8LcDrvDyGuip"],"dataSources":["2LLKDfkxMDdABm58M","euD7cPywCk5gX9zDY","DprwGzu9heN5GXy3u","optQ3PYGE2PxhriFJ","T3oedZczBnZ2Y6GvJ","Jwuh2BtHasSBPk4uf"]}