A New Rank Technique for Formula Size Lower Bounds.

Troy Lee

Browse the full STACS paper archive.