http://www.bibbase.orgPublications Feed. Showing publications since 2010.Thu, 09 Sep 2010 07:41:07 GMTPyRSS2Gen-1.0.0http://blogs.law.harvard.edu/tech/rsshttp://www.bibbase.org/cache/www.haz.ca_research_bibbase.bib/mui-etal-wara10.html<span class=bibbase_paper_titleauthoryear><b><span class=bibbase_paper_title>Fast d-DNNF Compilation with sharpSAT.</span></b> <span class=bibbase_paper_author><a href="http://data.bibbase.org/author/christian-muise" style="text-decoration: none">Muise, C.</a>; <a href="http://data.bibbase.org/author/sheila-mcilraith" style="text-decoration: none">McIlraith, S.</a>; <a href="http://data.bibbase.org/author/j-christopher-beck" style="text-decoration: none">Beck, J. C.</a>; and <a href="http://data.bibbase.org/author/sheila-a-mcilraith" style="text-decoration: none">McIlraith, S. A.</a></span> <span class=bibbase_paper_year>2010.</span></span> <span class=bibbase_paper_venue>In <i>Workshop on Abstraction, Reformulation, and Approximation (AAAI-10)</i>, Atlanta, GA, USA.</span><br><span class=bibbase_paper_content><a href="http://www.haz.ca/docs/papers/wara-muise-10.pdf" onclick="var cframe = document.getElementById('bibbase_controlframe'); cframe.contentWindow.location.href = 'http://www.bibbase.org/cgi-bin/writelog.cgi?servername=www.bibbase.org&followlink=www.haz.ca/docs/papers/wara-muise-10.pdf';")><img src="http://www.bibbase.org/resources/filetypes/pdf.png" alt="Fast d-DNNF Compilation with sharpSAT [PDF]" style="width: 24px; height: 24px; border: 0px" class=bibbase_icon><span style="display: none;" class=bibbase_icon_text>Fast d-DNNF Compilation with sharpSAT</span></a> <a href="http://www.bibbase.org/cache/www.haz.ca_research_bibbase.bib/mui-etal-wara10.bib"><img src="http://www.bibbase.org/resources/filetypes/bib.png" alt="Fast d-DNNF Compilation with sharpSAT [bib]" style="width: 24px; height: 24px; border: 0px" class=bibbase_icon><span style="display: none;" class=bibbase_icon_text>Bibtex</span></a> </span>