Polynomial-size binary decision diagrams for the exactly half-\(d\)-hyperclique problem reading each input bit twice

From MaRDI portal
Publication:841618