We develop and analyze methods for computing provably optimal maximum a posteriori probability (MAP) configurations for a subclass of Markov random fields defined on graphs with cycles. By decomposing ...

Other Solvers COPT: a mathematical optimization solver for large-scale problems. CPLEX: a high-performance mathematical programming solver for linear programming, mixed integer programming, and ...

HiGHS is a high performance serial and parallel solver for large scale sparse linear optimization problems of the form $$ \min \quad \dfrac {1} {2}x^TQx + c^Tx \qquad \textrm {s.t.}~ \quad L \leq Ax ...