Size-depth tradeoff in non-monotone Boolean formulae

From MaRDI portal
Publication:1132635