Propositional proofs and reductions between NP search problems (Q435190): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+F07
@@ Property / Mathematics Subject Classification ID: 03F07 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B05
@@ Property / Mathematics Subject Classification ID: 03B05 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D15
@@ Property / Mathematics Subject Classification ID: 03D15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D30
@@ Property / Mathematics Subject Classification ID: 03D30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F20
@@ Property / Mathematics Subject Classification ID: 03F20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q15
@@ Property / Mathematics Subject Classification ID: 68Q15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6054355
@@ Property / zbMATH DE Number: 6054355 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+search problems
@@ Property / zbMATH Keywords: search problems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Nullstellensatz
@@ Property / zbMATH Keywords: Nullstellensatz / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+propositional proofs
@@ Property / zbMATH Keywords: propositional proofs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+polynomial-time reducibility
@@ Property / zbMATH Keywords: polynomial-time reducibility / rank @@
+Normal rank

Revision as of 23:48, 29 June 2023