Items where authors include "Pich, J"

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 and Pich, J (2016) Understanding Gentzen and Frege Systems for QBF. In: LICS '16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 05-08 Jul 2016, New York, NY, USA. ACM , pp. 146-155. ISBN 978-1-4503-4391-6