Search results
From MaRDI portal
- Circuit Complexity 2017-10-10 Paper Algebraic Proof Complexity: Progress, Frontiers and Challenges 2016-07-01 Paper Complexity of propositional proofs under...10 bytes (13 words) - 07:58, 6 October 2023
- prover-delayer games 2017-11-03 Paper Space proof complexity for random 3-CNFs 2017-08-08 Paper On the Proof Complexity of Paris-Harrington and Off-Diagonal Ramsey...10 bytes (14 words) - 16:38, 13 December 2023
- Publication Date of Publication Type On the algebraic proof complexity of tensor isomorphism 2024-11-19 Paper Matrix multiplication via...10 bytes (16 words) - 14:49, 6 October 2023
- A reduction of proof complexity to computational complexity for 𝐴𝐶⁰[𝑝] Frege systems 2015-09-08 Paper On the computational complexity of finding hard...10 bytes (15 words) - 11:15, 9 December 2023
- Publication Date of Publication Type On the algebraic proof complexity of tensor isomorphism 2024-11-19 Paper Lower bounds for polynomial...10 bytes (15 words) - 21:41, 24 September 2023
- classification transfer for CSPs via algebraic products 2024-10-21 Paper Proof complexity and the binary encoding of combinatorial principles 2024-06-27 Paper Depth...10 bytes (14 words) - 15:48, 24 September 2023
- 2003-08-28 Paper Algebraic proof systems over formulas. 2003-08-17 Paper Biography of A. O. Slissenko 2003-08-17 Paper Approximation and complexity. II: Iterated...10 bytes (16 words) - 02:50, 9 December 2023
- \(k\)-consistency 2024-11-14 Paper Complexity classification transfer for CSPs via algebraic products 2024-10-21 Paper On the descriptive complexity of temporal constraint...10 bytes (13 words) - 05:00, 7 October 2023
- characterizations of complexity measures and size-space trade-offs in propositional proof systems 2024-06-24 Paper Propositional proof complexity 2023-11-10 Paper...10 bytes (16 words) - 22:25, 11 December 2023
- Time complexity of counting (quantum) graph homomorphisms 2020-02-24 Paper Asking the Metaquestions in Constraint Tractability 2019-12-06 Paper Proof Complexity...10 bytes (13 words) - 23:38, 24 September 2023
- Guidance 2008-11-27 Paper Twelve Problems in Proof Complexity 2008-06-05 Paper On Search Problems in Complexity Theory and in Logic (Abstract) 2007-05-02...10 bytes (15 words) - 18:20, 8 December 2023
- mardi4nfdi.de/entity/Q4591373 2017-11-14 Paper Proof Complexity Lower Bounds from Algebraic Circuit Complexity 2017-10-10 Paper https://portal.mardi4nfdi.de/entity/Q5368747...10 bytes (14 words) - 19:00, 8 December 2023
- representation 2016-12-21 Paper Algebraic Complexity Classes 2016-09-22 Paper Some complete and intermediate polynomials in algebraic complexity theory 2016-07-25 Paper...10 bytes (13 words) - 02:38, 7 October 2023
- Revisiting Space in Proof Complexity: Treewidth and Pathwidth 2013-09-20 Paper Parameterized random complexity 2013-04-15 Paper An Algebraic Preservation Theorem...10 bytes (13 words) - 02:30, 7 October 2023
- Minimization of differential equations and algebraic values of 𝐸-functions 2024-02-28 Paper A short proof of a non-vanishing result by Conca, Krattenthaler...10 bytes (14 words) - 09:18, 7 October 2023
- 2018-09-14 Paper Sequences With High Nonlinear Complexity 2017-05-16 Paper Expansion complexity and linear complexity of sequences over finite fields 2017-03-27...10 bytes (15 words) - 16:32, 7 December 2023
- 2012-04-10 Paper Towards NP-P via proof complexity and search 2012-04-10 Paper Strong isomorphism reductions in complexity theory 2011-12-23 Paper Corrected...10 bytes (17 words) - 13:53, 7 December 2023
- https://portal.mardi4nfdi.de/entity/Q4361549 1997-10-28 Paper Semi-algebraic complexity -- Additive complexity of matrix computational tasks 1997-08-26 Paper https://portal...10 bytes (15 words) - 19:26, 11 December 2023
- fractions in characteristic 2 are algebraic 2024-08-30 Paper Effective approximation to complex algebraic numbers by algebraic numbers of bounded degree 2024-08-02...10 bytes (15 words) - 15:38, 8 December 2023
- problem 2009-10-01 Paper Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies 2009-06-17 Paper Archimedean...10 bytes (15 words) - 14:59, 7 December 2023
