On the minimum number of negations leading to super-polynomial savings

From MaRDI portal
Publication:1029051