Proof systems that take advice (Q553297): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+F20
@@ Property / Mathematics Subject Classification ID: 03F20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5932316
@@ Property / zbMATH DE Number: 5932316 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+propositional proof complexity
@@ Property / zbMATH Keywords: propositional proof complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computational complexity
@@ Property / zbMATH Keywords: computational complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof systems
@@ Property / zbMATH Keywords: proof systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+advice
@@ Property / zbMATH Keywords: advice / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+instance complexity
@@ Property / zbMATH Keywords: instance complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+polynomially bounded proof systems
@@ Property / zbMATH Keywords: polynomially bounded proof systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+optimal proof systems
@@ Property / zbMATH Keywords: optimal proof systems / rank @@
+Normal rank

Revision as of 13:09, 1 July 2023