2 papers
cs.LG2025
Constraint Matters: Multi-Modal Representation for Reducing Mixed-Integer Linear programming
Jiajun Li, Yixuan Li, Ran Hou +8
Model reduction, which aims to learn a simpler model of the original mixed integer linear programming (MILP), can solve large-scale MILP problems much faster. Most existing model r…
cs.LO2007
An ExpTime Procedure for Description Logic (Draft)
Yu Ding
A worst-case ExpTime tableau-based decision procedure is outlined for the satisfiability problem in w.r.t. general axioms.