DS-2006-01: Troy Lee Kolmogorov complexity and formula size lower bounds 1.Full Text, 2.Abstract, 3.Samenvatting. < Back