Efficient Compilation of Algorithms into Compact Linear Programs. - Shermin Khosravi; David Bremner (CoRR, 2025)