A New Rank Technique for Formula Size Lower Bounds

From MaRDI portal
Publication:3590928