3 papers
cs.AI2025
An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models
Alexander Zadorojniy, Segev Wasserkrug, Eitan Farchi
Recently, using Large Language Models (LLMs) to generate optimization models from natural language descriptions has became increasingly popular. However, a major open question is h…
math.OC2021
Revised SCLP-simplex Algorithm with Application to Large-Scale Fluid Processing Networks
Evgeny Shindin, Michael Masin, Gideon Weiss +1
We describe an efficient implementation of a recent simplex-type algorithm for the exact solution of separated continuous linear programs, and compare it with linear programming ap…
cs.NI2011
Real-Time Video Streaming in Multi-hop Wireless Static Ad Hoc Networks
Guy Even, Yaniv Fais, Moti Medina +3
We deal with the problem of streaming multiple video streams between pairs of nodes in a multi-hop wireless ad hoc network. The nodes are static, know their locations, and are sync…