Inductive counting for width-restricted branching programs

From MaRDI portal
Publication:675225