60 citations · 290 across the 27 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
Discrete Optimization of Min-Max Violation and its Applications Across Computational Sciences
Cheikh Ahmed, Mahdi Mostajabdaveh, Samin Aref +1
We introduce the Discrete Min-Max Violation (DMMV) as a general optimization problem which seeks an assignment of discrete values to variables that minimizes the largest constraint…
cs.AI2025
LLM-Guided Evolution of Symbolic Acceleration Inequality Families for MILP
Milad Yazdani, Mahdi Mostajabdaveh, Samin Aref +1
Integer programming (IP) is central to many combinatorial optimization tasks but remains challenging due to its NP-hard nature. A practical way to improve IP solvers is to manually…