DSHARP: Fast d-DNNF Compilation with sharpSAT (Amended Version). Muise, C., McIlraith, S. A., Beck, J. C., & Hsu, E. In AAAI-16 Workshop on Beyond NP, 2016.
DSHARP: Fast d-DNNF Compilation with sharpSAT (Amended Version) [link]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)}},
keywords = {sat, knowledge compilation},
url = {http://haz.ca/dsharp-related.html},
year = {2016}
}

Downloads: 0