https://123dok.net/document/yd7m57ey-autotuning-programs-with-algorithmic-choice.html