the top of this page
The Hakubi Project

The Hakubi Project

| JAPANESE | > internal use only

Latest news

HOME  >  Latest news  > "Breaking the Rectangle Bound Barrier against Formula Size Lower Bounds" presented at The 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010).