Lower bounds for resolution and cutting plane proofs and monotone computations
From Thermodynamics of Computation
- reference groups
- Computer Science Theory
- author-supplied keywords
- keywords
- authors
- Pavel Pudlák
- title
- Lower bounds for resolution and cutting plane proofs and monotone computations
- type
- journal
- year
- 1997
- source
- Journal of Symbolic Logic
- pages
- 981-998
- volume
- 62
- issue
- 3
- publisher
- Cambridge University Press (CUP)
- link
- https://www.mendeley.com/catalogue/a639ae7a-9115-3a03-8030-1b323ca49098/(0)
Counts
- Citation count
- Page views
- 1
Identifiers
- doi: 10.2307/2275583 (Google search)
- issn: 0022-4812
- sgr: 0031504901
- scopus: 2-s2.0-0031504901
- pui: 127354844
