Linear list-approximation for short programs (or the power of a few random bits (2014)

by Bruno Bauwens, Marius Zimand
Venue:In Proceedings of the 29th IEEE Conference on Computational Complexity