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
- A simplified proof of a lower complexity estimate
- On algorithm complexity
- On multiplexer function complexity in the \(\pi\)-schemes class
- An improved deterministic \#SAT algorithm for small De Morgan formulas
- Quantified Derandomization: How to Find Water in the Ocean
- scientific article; zbMATH DE number 6007880 (Why is no real title available?)
- scientific article; zbMATH DE number 4078803 (Why is no real title available?)
- Satisfiability algorithms and lower bounds for Boolean formulas over finite bases
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)