Parameterized proof complexity (Q451111): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Q386150 / rank | |||
Property / author | |||
Property / author: Stefan S. Dantchev / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6085140 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
propositional proof complexity | |||
Property / zbMATH Keywords: propositional proof complexity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
parameterized complexity | |||
Property / zbMATH Keywords: parameterized complexity / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
complexity gap theorems | |||
Property / zbMATH Keywords: complexity gap theorems / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2112145019 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4218929 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Turing way to parameterized complexity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Improved Parameterized Upper Bounds for Vertex Cover / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The relative efficiency of propositional proof systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4503944 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Which problems have strongly exponential complexity? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4856172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5710169 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proofs as Games / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A complexity gap for tree resolution / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:47, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Parameterized proof complexity |
scientific article |
Statements
Parameterized proof complexity (English)
0 references
21 September 2012
0 references
propositional proof complexity
0 references
parameterized complexity
0 references
complexity gap theorems
0 references