Tag
An exploration of superoptimization techniques for finding the smallest possible program, reviewing related research and implementations.