Items where authors include "Janota, M"

Export as [feed] Atom [feed] RSS
Number of items: 3.

Proceedings Paper

Beyersdorff, O orcid.org/0000-0002-2870-1648, Chew, L and Janota, M (2016) Extension Variables in QBF Resolution. In: AAAI Workshop: Beyond NP. AAAI-16 workshop on Beyond NP, 12-13 Feb 2016, Phoenix, Arizona USA. Association for the Advancement of Artificial Intelligence .

Beyersdorff, O, Chew, L and Janota, M (2015) Proof complexity of resolution-based QBF calculi. In: LIPI Symposium on Theoretical Aspects of Computer Science (STACS'15). 32nd International Symposium on Theoretical Aspects of Computer Science, 04 Mar 2015. Schloss Dagstuhl - Leibniz International Proceedings in Informatics , 76 - 89. ISBN 9783939897781

Beyersdorff, O, Chew, L and Janota, M (2014) On unification of QBF resolution-based calculi. In: Csuhaj-Varjú, E, Dietzfelbinger, M and Ésik, Z, (eds.) Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Part II, Proceedings. 39th International Symposium, MFCS 2014, 25-29 Aug 2014, Budapest, Hungary. Springer , 81 - 93. ISBN 978-3-662-44464-1

This list was generated on Sat Mar 23 23:33:22 2024 GMT.