%0 Conference Paper %1 conf/ai/MuiseMBH12 %A Muise, Christian J. %A McIlraith, Sheila A. %A Beck, J. Christopher %A Hsu, Eric I. %B Canadian AI %D 2012 %E Kosseim, Leila %E Inkpen, Diana %I Springer %K dblp %P 356-361 %T Dsharp: Fast d-DNNF Compilation with sharpSAT. %U http://dblp.uni-trier.de/db/conf/ai/ai2012.html#MuiseMBH12 %V 7310 %@ 978-3-642-30352-4

@inproceedings{conf/ai/MuiseMBH12, added-at = {2023-09-28T00:00:00.000+0200}, author = {Muise, Christian J. and McIlraith, Sheila A. and Beck, J. Christopher and Hsu, Eric I.}, biburl = {https://www.bibsonomy.org/bibtex/25c045cfecc0fdccfc5c1806629cd42bf/dblp}, booktitle = {Canadian AI}, crossref = {conf/ai/2012}, editor = {Kosseim, Leila and Inkpen, Diana}, ee = {https://doi.org/10.1007/978-3-642-30353-1_36}, interhash = {ad90bf63a0169fbfac8725549db2e008}, intrahash = {5c045cfecc0fdccfc5c1806629cd42bf}, isbn = {978-3-642-30352-4}, keywords = {dblp}, pages = {356-361}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T16:52:28.000+0200}, title = {Dsharp: Fast d-DNNF Compilation with sharpSAT.}, url = {http://dblp.uni-trier.de/db/conf/ai/ai2012.html#MuiseMBH12}, volume = 7310, year = 2012 }