Pseudo-deterministic query complexity of search problems
From MaRDI portal
Cites work
- A characterization of tree-like resolution size
- Boolean function complexity. Advances and frontiers.
- Complexity measures and decision tree complexity: a survey.
- scientific article; zbMATH DE number 524134 (Why is no real title available?)
- scientific article; zbMATH DE number 7561762 (Why is no real title available?)
- Induced subgraphs of hypercubes and a proof of the sensitivity conjecture
- Linear gaps between degrees for the polynomial calculus modulo distinct primes
- Log-rank and lifting for AND-functions
- Many hard examples for resolution
- Monotone circuit lower bounds from resolution
- Near optimal seperation of tree-like and general resolution
- On the pseudo-deterministic query complexity of NP search problems
- Private vs. common random bits in communication complexity
- Randomized versus deterministic decision tree size
- Search Problems in the Decision Tree Model
- Short proofs are narrow—resolution made simple
- Space complexity of random formulae in resolution
- The efficiency of resolution and Davis-Putnam procedures
- Tseitin's tautologies and lower bounds for Nullstellensatz proofs
This page was built for publication: Pseudo-deterministic query complexity of search problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6892811)