@InProceedings{muise-beyondnp16-dsharp,
  Title                    = {{DSHARP}: Fast d-DNNF Compilation with sharpSAT (Amended Version)},
  Author                   = {Muise, Christian and McIlraith, Sheila A. and Beck, J.
Christopher and Hsu, Eric},
  Booktitle                = {AAAI-16 Workshop on Beyond NP},
  Year                     = {2016},

  Timestamp                = {2018.09.23},
  Url                      = {http://haz.ca/dsharp-related.html}
}

{"_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.cs.toronto.edu/kr/publications/list.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"DSHARP: Fast d-DNNF Compilation with sharpSAT (Amended Version)","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","year":"2016","timestamp":"2018.09.23","url":"http://haz.ca/dsharp-related.html","bibtex":"@InProceedings{muise-beyondnp16-dsharp,\n Title = {{DSHARP}: Fast d-DNNF Compilation with sharpSAT (Amended Version)},\n Author = {Muise, Christian and McIlraith, Sheila A. and Beck, J.\nChristopher and Hsu, Eric},\n Booktitle = {AAAI-16 Workshop on Beyond NP},\n Year = {2016},\n\n Timestamp = {2018.09.23},\n Url = {http://haz.ca/dsharp-related.html}\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"},"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":[],"authorIDs":["GvvCbq8Y4n9QqTySC","f4LpZ8LcDrvDyGuip"],"dataSources":["2LLKDfkxMDdABm58M","euD7cPywCk5gX9zDY","DprwGzu9heN5GXy3u","optQ3PYGE2PxhriFJ","T3oedZczBnZ2Y6GvJ","Jwuh2BtHasSBPk4uf","FAyKHaeKDYM4aGJk2"]}