@inproceedings{ mui-etal-wara10,
  title = {Fast d-DNNF Compilation with sharpSAT},
  url = {http://www.haz.ca/research/papers/wara-muise-10.pdf},
  booktitle = {Workshop on Abstraction, Reformulation, and Approximation (AAAI-10)},
  author = {Christian Muise and Sheila McIlraith and J. Christopher Beck and Sheila A. McIlraith},
  year = {2010},
  address = {Atlanta, GA, USA}
}