Inductive Complexity of P versus NP Problem (Q4648186): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-32894-7_2
+Normal rank
@@ Property / OpenAlex ID @@
+W166247508
@@ Property / OpenAlex ID: W166247508 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57001497
@@ Property / Wikidata QID: Q57001497 / rank @@
+Normal rank
@@ Property / cites work @@
+Super-Recursive Algorithms
@@ Property / cites work: Super-Recursive Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5188206
@@ Property / cites work: Q5188206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3584055
@@ Property / cites work: Q3584055 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of the four colour theorem
@@ Property / cites work: The complexity of the four colour theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5439769
@@ Property / cites work: Q5439769 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of Euler's integer partition theorem
+Normal rank
@@ Property / cites work @@
+The complexity of proving chaoticity and the Church–Turing thesis
+Normal rank
@@ Property / cites work @@
+Q4806962
@@ Property / cites work: Q4806962 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389345
@@ Property / cites work: Q5389345 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3589189
@@ Property / cites work: Q3589189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619797
@@ Property / cites work: Q3619797 / rank @@
+Normal rank
@@ Property / cites work @@
+A Program-Size Complexity Measure for Mathematical Problems and Conjectures
+Normal rank
@@ Property / cites work @@
+Computing Partitions with Applications to the Knapsack Problem
+Normal rank
@@ Property / cites work @@
+Mathematics Programs That Make a Difference
@@ Property / cites work: 2015 Mathematics Programs That Make a Difference / rank @@
+Normal rank
@@ Property / cites work @@
+Q3090774
@@ Property / cites work: Q3090774 / rank @@
+Normal rank
@@ Property / cites work @@
+A Survey of Russian Approaches to Perebor (Brute-Force Searches) Algorithms
+Normal rank