default search action
BibTeX record conf/innovations/BeyersdorffBH18
@inproceedings{DBLP:conf/innovations/BeyersdorffBH18, author = {Olaf Beyersdorff and Joshua Blinkhorn and Luke Hinde}, editor = {Anna R. Karlin}, title = {Size, Cost and Capacity: {A} Semantic Technique for Hard Random QBFs}, booktitle = {9th Innovations in Theoretical Computer Science Conference, {ITCS} 2018, January 11-14, 2018, Cambridge, MA, {USA}}, series = {LIPIcs}, volume = {94}, pages = {9:1--9:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2018}, url = {https://doi.org/10.4230/LIPIcs.ITCS.2018.9}, doi = {10.4230/LIPICS.ITCS.2018.9}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/innovations/BeyersdorffBH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.