Strong ETH holds for regular resolution
type: Item
instance of: scholarly article
title: Strong ETH holds for regular resolution
zbMATH Open document ID: 1293.03032
DOI: 10.1145/2488608.2488669
author: Christopher Beck
author: Russell Impagliazzo
publication date: 2014-08-07T00:00:00Z
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 68Q17
zbMATH DE Number: 6326983
zbMATH Keywords: lower bounds
zbMATH Keywords: proof complexity
zbMATH Keywords: quantum classical separation
zbMATH Keywords: resolution
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1145/2488608.2488669
OpenAlex ID: W2041171215
published in: Proceedings of the forty-eighth annual ACM symposium on Theory of Computing
description: scientific article; zbMATH DE number 6326983