Search results
From MaRDI portal
- science 03D15: Complexity of computation (including implicit computational complexity) 08A30: Subalgebras, congruence relations 68Q17: Computational difficulty...15 bytes (108 words) - 15:05, 2 May 2024
- 1993 zbMATH Keywords Kolmogorov complexity; Computational complexity; computational complexity theory; oracle complexity; resource-bounded programs Mathematics...15 bytes (70 words) - 03:18, 6 February 2024
- mathematical programming 03D15: Complexity of computation (including implicit computational complexity) 68Q17: Computational difficulty of problems (lower...15 bytes (72 words) - 22:46, 3 February 2024
- Keywords Computational Complexity; Language Recognition; Regular Buechi Systems Mathematics Subject Classification ID 03D15: Complexity of computation (including...15 bytes (30 words) - 13:00, 6 February 2024
- Publication date: 30 December 2014 zbMATH Keywords computational complexity; Boolean function complexity; protocol partition number Mathematics Subject Classification...15 bytes (32 words) - 21:15, 3 February 2024
- Keywords computational complexity; set packing; hardness of approximation Mathematics Subject Classification ID 90C60: Abstract computational complexity for...15 bytes (79 words) - 04:28, 3 February 2024
- Keywords Computational Complexity; Propositional Logic; Np-Complete; Satisfiability Problem Mathematics Subject Classification ID 03D15: Complexity of computation...15 bytes (35 words) - 13:16, 6 February 2024
- numbering; Blum computational complexity; Blum program size; measured system Mathematics Subject Classification ID 03D15: Complexity of computation (including...15 bytes (34 words) - 00:15, 6 February 2024
- 03D15: Complexity of computation (including implicit computational complexity) 03F20: Complexity of proofs...15 bytes (38 words) - 07:57, 5 February 2024
- Keywords computational complexity theory Mathematics Subject Classification ID 03D15: Complexity of computation (including implicit computational complexity)...15 bytes (36 words) - 18:21, 6 February 2024
- x zbMATH Keywords computational complexity; proof complexity Mathematics Subject Classification ID 03D15: Complexity of computation (including implicit...15 bytes (84 words) - 05:46, 30 January 2024
- Analysis of algorithms and problem complexity 03D15: Complexity of computation (including implicit computational complexity)...15 bytes (37 words) - 22:37, 3 February 2024
- Analysis of algorithms and problem complexity 03D15: Complexity of computation (including implicit computational complexity)...15 bytes (39 words) - 09:47, 5 February 2024
- zbMATH Keywords computational complexity; interior point methods Mathematics Subject Classification ID 90C60: Abstract computational complexity for mathematical...15 bytes (34 words) - 21:33, 7 February 2024
- theory; computational complexity class Mathematics Subject Classification ID 03D15: Complexity of computation (including implicit computational complexity)...15 bytes (36 words) - 06:38, 8 February 2024
- Keywords computational complexity; exponentiation; Kalmar's elementary functions Mathematics Subject Classification ID 03D15: Complexity of computation (including...15 bytes (36 words) - 23:16, 7 February 2024
- Keywords computational complexity; classification of recursive functions Mathematics Subject Classification ID 03D15: Complexity of computation (including...15 bytes (38 words) - 22:50, 3 February 2024
- algebraic computation 94A60: Cryptography 03D15: Complexity of computation (including implicit computational complexity)...15 bytes (37 words) - 17:03, 5 February 2024
- of theories and sets of sentences 03D15: Complexity of computation (including implicit computational complexity)...15 bytes (37 words) - 18:25, 5 February 2024
- independence; computational complexity; weak systems of arithmetic Mathematics Subject Classification ID 03D15: Complexity of computation (including implicit...15 bytes (38 words) - 08:39, 4 February 2024
