scientific article; zbMATH DE number 4031582
From MaRDI portal
Publication:3772136
Recommendations
Cited in
(10)- Fourier concentration from shrinkage
- Mining circuit lower bound proofs for meta-algorithms
- On algorithm complexity
- Satisfiability algorithms and lower bounds for Boolean formulas over finite bases
- On multiplexer function complexity in the -schemes class
- scientific article; zbMATH DE number 6007880 (Why is no real title available?)
- An improved deterministic \#SAT algorithm for small De Morgan formulas
- scientific article; zbMATH DE number 4078803 (Why is no real title available?)
- Quantified Derandomization: How to Find Water in the Ocean
- A simplified proof of a lower complexity estimate
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3772136)