http://www.bibbase.orgPublications Feed. Showing publications since 2010.Wed, 19 Jun 2013 09:05:46 GMTPyRSS2Gen-1.0.0http://blogs.law.harvard.edu/tech/rsshttp://www.bibbase.org/cache/data.bibbase.org_proceedings_design-automation-and-test-in-europe-date-2010__3Fformat_3Dbibtex/DBLP:conf/date/MangassarianLGVB10.html<span class='bibbase_paper_titleauthoryear'><span class='bibbase_paper_title' onclick="window.location.href='http://www.bibbase.org/cache/data.bibbase.org_proceedings_design-automation-and-test-in-europe-date-2010__3Fformat_3Dbibtex/DBLP:conf_date_MangassarianLGVB10.html'" style="cursor: pointer; cursor: hand;">Leveraging dominators for preprocessing QBF.</span> <span class='bibbase_paper_author'>Mangassarian, H.; Le, B.; Goultiaeva, A.; Veneris, A. G.; and Bacchus, F.</span> <span class='bibbase_paper_year'>2010.</span></span> <span class='bibbase_paper_venue'>In <span class='bibbase_paper_book'>Design, Automation and Test in Europe (DATE 2010)</span>, 1695-1700.</span><br class='bibbase_paper_content'/><span class='bibbase_paper_content'><a href="http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457088" onclick="var cframe = document.getElementById('bibbase_controlframe'); cframe.contentWindow.location.href = 'http://www.bibbase.org/cgi-bin/writelog.cgi?servername=www.bibbase.org&amp;followlink=ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457088';"><img src="http://www.bibbase.org/resources/filetypes/html.png" alt="Leveraging dominators for preprocessing QBF [http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5457088]" style="width: 24px; height: 24px; border: 0px; vertical-align: text-top" class='bibbase_icon'/><span style="display: none;" class='bibbase_icon_text'>Leveraging dominators for preprocessing QBF</span></a> <a href="http://data.bibbase.org/proceedings/design-automation-and-test-in-europe-date-2010/MLGVB_DATE2010.pdf" onclick="var cframe = document.getElementById('bibbase_controlframe'); cframe.contentWindow.location.href = 'http://www.bibbase.org/cgi-bin/writelog.cgi?servername=www.bibbase.org&amp;followlink=data.bibbase.org/proceedings/design-automation-and-test-in-europe-date-2010/MLGVB_DATE2010.pdf';"><img src="http://www.bibbase.org/resources/filetypes/pdf.png" alt="Leveraging dominators for preprocessing QBF [PDF]" style="width: 24px; height: 24px; border: 0px; vertical-align: text-top" class='bibbase_icon'/><span style="display: none;" class='bibbase_icon_text'>Leveraging dominators for preprocessing QBF</span></a> <a href="http://www.bibbase.org/cache/data.bibbase.org_proceedings_design-automation-and-test-in-europe-date-2010__3Fformat_3Dbibtex/DBLP:conf_date_MangassarianLGVB10.bib"><img src="http://www.bibbase.org/resources/filetypes/bib.png" alt="Leveraging dominators for preprocessing QBF [bib]" style="width: 24px; height: 24px; border: 0px; vertical-align: text-top" class='bibbase_icon' /><span style="display: none;" class='bibbase_icon_text'>Bibtex</span></a> &nbsp; <span class='bibbase_stats_paper' style='color: #777;'><span id='span_stats_paper_http___data_bibbase_org_proceedings_design_automation_and_test_in_europe_date_2010_MLGVB_DATE2010_pdf'></span></span> &nbsp;</span>