Short lists with short programs in short time. ECCC (2013)

by B Bauwens, A Makhlin, N Vereshchagin, M Zimand