Matches in SemOpenAlex for { <https://semopenalex.org/work/W2021972008> ?p ?o ?g. }
- W2021972008 abstract "An active line of research in proof complexity over the last decade has been the study of proof space and trade-offs between size and space. Such questions were originally motivated by practical SAT solving, but have also led to the development of new theoretical concepts in proof complexity of intrinsic interest and to results establishing nontrivial relations between space and other proof complexity measures. By now, the resolution proof system is fairly well understood in this regard, as witnessed by a sequence of papers leading up to [Ben-Sasson and Nordstrom 2008, 2011] and [Beame, Beck, and Impagliazzo 2012]. However, for other relevant proof systems in the context of SAT solving, such as polynomial calculus (PC) and cutting planes (CP), very little has been known." @default.
- W2021972008 created "2016-06-24" @default.
- W2021972008 creator A5003633660 @default.
- W2021972008 creator A5080050461 @default.
- W2021972008 date "2012-05-19" @default.
- W2021972008 modified "2023-10-16" @default.
- W2021972008 title "On the virtue of succinct proofs" @default.
- W2021972008 cites W1519724636 @default.
- W2021972008 cites W1867758558 @default.
- W2021972008 cites W1974070050 @default.
- W2021972008 cites W1988083342 @default.
- W2021972008 cites W1990932978 @default.
- W2021972008 cites W1992641578 @default.
- W2021972008 cites W1996660205 @default.
- W2021972008 cites W2014588328 @default.
- W2021972008 cites W2014963708 @default.
- W2021972008 cites W2026967932 @default.
- W2021972008 cites W2035762900 @default.
- W2021972008 cites W2036265926 @default.
- W2021972008 cites W2037611290 @default.
- W2021972008 cites W2038193643 @default.
- W2021972008 cites W2044095368 @default.
- W2021972008 cites W2044722214 @default.
- W2021972008 cites W2047237020 @default.
- W2021972008 cites W2048051309 @default.
- W2021972008 cites W2056382067 @default.
- W2021972008 cites W2057361103 @default.
- W2021972008 cites W2062897452 @default.
- W2021972008 cites W2069767473 @default.
- W2021972008 cites W2071347463 @default.
- W2021972008 cites W2071596701 @default.
- W2021972008 cites W2074834475 @default.
- W2021972008 cites W2074946288 @default.
- W2021972008 cites W2081172416 @default.
- W2021972008 cites W2084029169 @default.
- W2021972008 cites W2084384424 @default.
- W2021972008 cites W2093396771 @default.
- W2021972008 cites W2098022011 @default.
- W2021972008 cites W2100738443 @default.
- W2021972008 cites W2107917944 @default.
- W2021972008 cites W2109895531 @default.
- W2021972008 cites W2117749206 @default.
- W2021972008 cites W2121015471 @default.
- W2021972008 cites W2122780600 @default.
- W2021972008 cites W2122782108 @default.
- W2021972008 cites W2126420408 @default.
- W2021972008 cites W2129413084 @default.
- W2021972008 cites W2132489129 @default.
- W2021972008 cites W2137378957 @default.
- W2021972008 cites W2137423523 @default.
- W2021972008 cites W2154976719 @default.
- W2021972008 cites W2160909640 @default.
- W2021972008 cites W2164319662 @default.
- W2021972008 cites W2985351939 @default.
- W2021972008 cites W4250767659 @default.
- W2021972008 doi "https://doi.org/10.1145/2213977.2214000" @default.
- W2021972008 hasPublicationYear "2012" @default.
- W2021972008 type Work @default.
- W2021972008 sameAs 2021972008 @default.
- W2021972008 citedByCount "38" @default.
- W2021972008 countsByYear W20219720082012 @default.
- W2021972008 countsByYear W20219720082013 @default.
- W2021972008 countsByYear W20219720082014 @default.
- W2021972008 countsByYear W20219720082015 @default.
- W2021972008 countsByYear W20219720082016 @default.
- W2021972008 countsByYear W20219720082017 @default.
- W2021972008 countsByYear W20219720082018 @default.
- W2021972008 countsByYear W20219720082019 @default.
- W2021972008 countsByYear W20219720082020 @default.
- W2021972008 countsByYear W20219720082021 @default.
- W2021972008 countsByYear W20219720082022 @default.
- W2021972008 crossrefType "proceedings-article" @default.
- W2021972008 hasAuthorship W2021972008A5003633660 @default.
- W2021972008 hasAuthorship W2021972008A5080050461 @default.
- W2021972008 hasConcept C105605280 @default.
- W2021972008 hasConcept C108710211 @default.
- W2021972008 hasConcept C111472728 @default.
- W2021972008 hasConcept C111919701 @default.
- W2021972008 hasConcept C118615104 @default.
- W2021972008 hasConcept C136119220 @default.
- W2021972008 hasConcept C138268822 @default.
- W2021972008 hasConcept C138885662 @default.
- W2021972008 hasConcept C151730666 @default.
- W2021972008 hasConcept C161505775 @default.
- W2021972008 hasConcept C173613240 @default.
- W2021972008 hasConcept C199343813 @default.
- W2021972008 hasConcept C199360897 @default.
- W2021972008 hasConcept C202444582 @default.
- W2021972008 hasConcept C2318724 @default.
- W2021972008 hasConcept C2524010 @default.
- W2021972008 hasConcept C2777239683 @default.
- W2021972008 hasConcept C2777686260 @default.
- W2021972008 hasConcept C2778572836 @default.
- W2021972008 hasConcept C2779343474 @default.
- W2021972008 hasConcept C33923547 @default.
- W2021972008 hasConcept C41008148 @default.
- W2021972008 hasConcept C71924100 @default.
- W2021972008 hasConcept C86803240 @default.
- W2021972008 hasConceptScore W2021972008C105605280 @default.
- W2021972008 hasConceptScore W2021972008C108710211 @default.