TY  - RPRT
TI  - Short lists with short programs in short time
AU  - Bruno Bauwens
AU  - Anton Makhlin
AU  - Nikolay Vereshchagin
AU  - Marius Zimand
PY  - 2017
UR  - https://arxiv.org/abs/1301.1547
ID  - 1301.1547
ER  -