Browse by Journal and Volume
Up a level |
Jump to: October 2017
Number of items: 1.
October 2017
Chen, Hubie (2017) Proof complexity modulo the Polynomial Hierarchy: understanding alternation as a source of hardness. ACM Transactions on Computation Theory 9 (3), ISSN 1942-3454.