Time-space tradeoffs in resolution (Q5415477)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 6294571

In more languages

Language	Label	Description	Also known as
English	Time-space tradeoffs in resolution	scientific article; zbMATH DE number 6294571

Statements

scholarly article

Time-space tradeoffs in resolution (English)

Christopher Beck

Russell Impagliazzo

Proceedings of the forty-fourth annual ACM symposium on Theory of computing

publication date

13 May 2014

zbMATH Keywords

proof complexity

time-space tradeoffs

MaRDI profile type

MaRDI publication profile

full work available at URL

https://doi.org/10.1145/2213977.2213999

Identifiers

zbMATH Open document ID

10.1145/2213977.2213999

Mathematics Subject Classification ID

zbMATH DE Number

Sitelinks

Mathematics(1 entry)

mardi Publication:5415477

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5415477&oldid=31151739"