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