{"id":"arxiv/2611.12896","url":"https://arxiv.org/abs/2611.12896","tags":["cs.MS","cs.PL","math.OC"],"score":0,"title":"Efficient Conversion of Algorithms to Linear Programs","domain":"cs.MS","source":"arxiv","authors":["Shermin Khosravi","David Bremner"],"reviews":0,"subject":"cs.MS","summary":"The expressiveness of Linear Programming (LP) has motivated research on an LP compiler that generates polynomial-size LPs for polynomial-time solvable problems, including those having exponential extension complexity. By automating modeling from high-level algorithmic descriptions, the compiler offers a promising alternative to algebraic modelling languages. However, the resulting LPs are extremely large, posing challenges for existing solvers. Recently, we have introduced two LP compiler optimizations, namely Hierarachical Synchronization Barriers (HSB) and Constraint Sharing (CS), that…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-10-10","reactions":{}}