Search results
From MaRDI portal
- Jan Krajíček (section List of research outcomes)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
- Antoine Genitrini (section List of research outcomes)generation of concurrent computations 2014-09-29 Paper Equivalence Classes of Random Boolean Trees and Application to the Catalan Satisfiability Problem 2014-03-31...10 bytes (13 words) - 19:11, 11 December 2023
- Toshio Suzuki (section List of research outcomes)functions 2003-05-19 Paper Complexity of the \(r\)-query tautologies in the presence of a generic oracle 2003-03-12 Paper Degrees of Dowd-type generic oracles 2003-01-14...10 bytes (13 words) - 17:42, 24 September 2023
- Paper Polynomial identity testing via evaluation of rational functions 2024-08-20 Paper Query complexity of inversion minimization on trees 2024-05-14 Paper...10 bytes (15 words) - 12:05, 11 December 2023
- Ryan Williams (section List of research outcomes)Resolving the Complexity of Some Data Privacy Problems 2010-09-07 Paper Confronting hardness using a hybrid approach 2010-08-16 Paper Finding paths of length...10 bytes (15 words) - 12:05, 11 December 2023
- Alexander Razborov (section List of research outcomes)bounds of the complexity of symmetric Boolean functions of contact- rectifier circuits 1992-06-25 Paper Applications of matrix methods to the theory of lower...10 bytes (16 words) - 22:25, 11 December 2023
- Massimo Lauria (section List of research outcomes)Date of Publication Type On vanishing sums of roots of unity in polynomial calculus and sum-of-squares 2024-08-06 Paper On vanishing sums of roots of unity...10 bytes (15 words) - 19:24, 6 October 2023
- Petr Hájek (section List of research outcomes)Computational complexity of t-norm based propositional fuzzy logics with rational truth constants 2006-06-09 Paper Arithmetical complexity of fuzzy predicate...10 bytes (15 words) - 23:10, 8 December 2023
- Stefan Hetzl (section List of research outcomes)Induction 2019-10-09 Paper On the generation of quantified lemmas 2019-05-31 Paper Complexity of decision problems on totally rigid acyclic tree grammars 2018-11-22...10 bytes (14 words) - 12:50, 7 October 2023
- Helmut Veith (section List of research outcomes)mardi4nfdi.de/entity/Q4427894 2003-09-14 Paper Complexity of t-tautologies 2003-03-06 Paper On the complexity of data disjunctions. 2003-01-21 Paper https://portal...10 bytes (15 words) - 15:43, 24 September 2023
- Michael Alekhnovich (section List of research outcomes)Propositional Proof Complexity 2005-02-21 Paper Mutilated chessboard problem is exponentially hard for resolution 2004-10-27 Paper Space Complexity in Propositional...10 bytes (13 words) - 07:35, 7 October 2023
- Samuel R. Buss (section List of research outcomes)Feasible set functions have small circuits 2019-10-28 Paper Proof complexity of systems of (non-deterministic) decision trees and branching programs 2019-10-18...10 bytes (17 words) - 13:53, 7 December 2023
- Jiří Sgall (section List of research outcomes)communication complexity of pointer jumping 1999-05-18 Paper https://portal.mardi4nfdi.de/entity/Q4224901 1999-01-17 Paper Proof complexity in algebraic...10 bytes (15 words) - 10:24, 8 December 2023
- Hervé Fournier (section List of research outcomes)Partial Derivative Complexity of Elementary Symmetric Polynomials 2015-09-16 Paper Monomials in arithmetic circuits: complete problems in the counting hierarchy...10 bytes (14 words) - 02:07, 9 December 2023
- Søren Riis (section List of research outcomes)computation: new results, constructions, and extensions 2014-12-02 Paper The complexity of scheduling TV commercials 2013-06-06 Paper Combinatorial representations...10 bytes (14 words) - 20:44, 24 September 2023
- Christian Herrmann (section List of research outcomes)Varieties of *-regular rings 2019-04-09 Paper On the finiteness problem for classes of modular lattices 2019-02-01 Paper Direct finiteness of representable...10 bytes (13 words) - 18:49, 8 December 2023
- Matthias Baaz (section List of research outcomes)fuzzy logic 2003-03-31 Paper Complexity of t-tautologies 2003-03-06 Paper Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics...10 bytes (14 words) - 18:05, 24 September 2023
- Danièle Gardy (section List of research outcomes)2018-01-18 Paper Dynamic analysis of the sizes of relations 2017-12-04 Paper 2-Xor revisited: satisfiability and probabilities of functions 2016-12-21 Paper B-urns...10 bytes (13 words) - 06:37, 9 December 2023
- L. L. Maksimova (section List of research outcomes)2019-07-16 Paper Extensions of the minimal logic and the interpolation problem 2018-11-13 Paper Slices and levels of extensions of the minimal logic 2018-04-20...10 bytes (16 words) - 16:35, 11 December 2023
- Franco Montagna (section List of research outcomes)t\)-norms 2003-04-02 Paper Complexity of t-tautologies 2003-03-06 Paper Investigation on fragments of first order branching temporal logic 2003-01-07 Paper Adding...10 bytes (15 words) - 14:59, 7 December 2023
