Paper  bibtex   

@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}
}