http://www.bibbase.orgPublications Feed. Showing publications since 2007.Thu, 09 Sep 2010 08:10:11 GMTPyRSS2Gen-1.0.0http://blogs.law.harvard.edu/tech/rsshttp://www.bibbase.org/cache/www.cs.toronto.edu_kr_publications_list.bib/vaqtree07.html<span class=bibbase_paper_titleauthoryear><b><span class=bibbase_paper_title>Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC.</span></b> <span class=bibbase_paper_author><a href="http://data.bibbase.org/author/j-simmonds" style="text-decoration: none">Simmonds, J.</a>; <a href="http://data.bibbase.org/author/j-davies" style="text-decoration: none">Davies, J.</a>; <a href="http://data.bibbase.org/author/a-gurfinkel" style="text-decoration: none">Gurfinkel, A.</a>; and <a href="http://data.bibbase.org/author/m-chechik" style="text-decoration: none">Chechik, M.</a></span> <span class=bibbase_paper_year>2007.</span></span> <span class=bibbase_paper_venue>In <i>FMCAD</i>.</span><br><span class=bibbase_paper_content><a href="http://www.cs.toronto.edu/kr/publications/davies_fmcad07.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.cs.toronto.edu/kr/publications/davies_fmcad07.pdf';")><img src="http://www.bibbase.org/resources/filetypes/pdf.png" alt="Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC [PDF]" style="width: 24px; height: 24px; border: 0px" class=bibbase_icon><span style="display: none;" class=bibbase_icon_text>Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC</span></a> <a href="http://www.bibbase.org/cache/www.cs.toronto.edu_kr_publications_list.bib/vaqtree07.bib"><img src="http://www.bibbase.org/resources/filetypes/bib.png" alt="Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC [bib]" style="width: 24px; height: 24px; border: 0px" class=bibbase_icon><span style="display: none;" class=bibbase_icon_text>Bibtex</span></a> </span>http://www.bibbase.org/cache/www.cs.toronto.edu_kr_publications_list.bib/sharp2clseq07.html<span class=bibbase_paper_titleauthoryear><b><span class=bibbase_paper_title>Using More Reasoning to Improve #SAT Solving.</span></b> <span class=bibbase_paper_author><a href="http://data.bibbase.org/author/j-davies" style="text-decoration: none">Davies, J.</a>, and <a href="http://data.bibbase.org/author/f-bacchus" style="text-decoration: none">Bacchus, F.</a></span> <span class=bibbase_paper_year>2007.</span></span> <span class=bibbase_paper_venue>In <i>AAAI</i>, <undefined>.</span><br><span class=bibbase_paper_content><a href="http://www.cs.toronto.edu/kr/publications/davies_aaai07.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.cs.toronto.edu/kr/publications/davies_aaai07.pdf';")><img src="http://www.bibbase.org/resources/filetypes/pdf.png" alt="Using More Reasoning to Improve #SAT Solving [PDF]" style="width: 24px; height: 24px; border: 0px" class=bibbase_icon><span style="display: none;" class=bibbase_icon_text>Using More Reasoning to Improve #SAT Solving</span></a> <a href="http://www.bibbase.org/cache/www.cs.toronto.edu_kr_publications_list.bib/sharp2clseq07.bib"><img src="http://www.bibbase.org/resources/filetypes/bib.png" alt="Using More Reasoning to Improve #SAT Solving [bib]" style="width: 24px; height: 24px; border: 0px" class=bibbase_icon><span style="display: none;" class=bibbase_icon_text>Bibtex</span></a> </span>