Lower-bound synthesis using loop specialization and Max-SMT
scientific article; zbMATH DE number 7498211
scientific article