Integer multiplication and the complexity of binary decision diagrams

From MaRDI portal
Publication:3397629