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

{"_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":"www.haz.ca/publications.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-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","bibtex":"@inproceedings{muise-beyondnp16-dsharp,\nauthor = {Muise, Christian and McIlraith, Sheila A. and Beck, J. Christopher and Hsu, Eric},\nbooktitle = {AAAI-16 Workshop on Beyond NP},\ntitle = {{DSHARP: Fast d-DNNF Compilation with sharpSAT (Amended Version)}},\nkeywords = {sat, knowledge compilation},\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","id":"muise-beyondnp16-dsharp","bibbaseid":"muise-mcilraith-beck-hsu-dsharpfastddnnfcompilationwithsharpsatamendedversion-2016","role":"author","urls":{"Paper":"http://haz.ca/dsharp-related.html"},"keyword":["sat","knowledge compilation"],"metadata":{"authorlinks":{"mcilraith, s":"https://www.cs.toronto.edu/~sheila/publications/","muise, c":"https://www.haz.ca/academic-publications.html"}},"downloads":0},"search_terms":["dsharp","fast","dnnf","compilation","sharpsat","amended","version","muise","mcilraith","beck","hsu"],"keywords":["sat","knowledge compilation"],"authorIDs":["GvvCbq8Y4n9QqTySC","f4LpZ8LcDrvDyGuip"],"dataSources":["2LLKDfkxMDdABm58M","euD7cPywCk5gX9zDY","DprwGzu9heN5GXy3u","optQ3PYGE2PxhriFJ","T3oedZczBnZ2Y6GvJ","Jwuh2BtHasSBPk4uf","FAyKHaeKDYM4aGJk2"]}