scientific article
From MaRDI portal
Publication:3772136
zbMath0633.94024MaRDI QIDQ3772136
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (6)
Quantified Derandomization: How to Find Water in the Ocean ⋮ An improved deterministic \#SAT algorithm for small De Morgan formulas ⋮ Satisfiability Algorithms and Lower Bounds for Boolean Formulas over Finite Bases ⋮ On algorithm complexity ⋮ Fourier concentration from shrinkage ⋮ Mining circuit lower bound proofs for meta-algorithms
This page was built for publication: