Items where authors include "Hinde, L"

Proceedings Paper

Beyersdorff, O orcid.org/0000-0002-2870-1648, Hinde, L and Pich, J (2018) Reasons for Hardness in QBF Proof Systems. In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017). 37th IARCS Annual Conference (FSTTCS 2017), 11-15 Dec 2017, Kanpur, India. Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik , 14:1-14:15. ISBN 978-3-95977-055-2

Beyersdorff, O orcid.org/0000-0002-2870-1648, Blinkhorn, J and Hinde, L (2018) Size, Cost and Capacity: A Semantic Technique for Hard Random QBFs. In: Karlin, AR, (ed.) LIPIcs : Leibniz International Proceedings in Informatics. 9th Innovations in Theoretical Computer Science Conference (ITCS 2018), 11-14 Jan 2018, Cambridge, MA, USA. Schloss Dagstuhl - Leibniz-Zentrum für Informatik . ISBN 978-3-95977-060-6