In this paper a preprocessing algorithm for binary quadratic programming problems is presented. For some types of binary quadratic programming problems, the algorithm can compute the optimal value for some or all integer variables without approximations in polynomial time. When the optimal multiuser detection problem is formulated as a maximum likelihood problem, a binary quadratic programming ...

index tracking is the process of developing a portfolio that reproduces the performance of an index. the tracker portfolio has relatively good diversity and low turnover and low transaction costs. in this paper we applied a binary programming model for index tracking problem. in this model the number of assets for portfolio construction is defined by portfolio manager. the robust optimization f...

We present a theoretical study on the idea of using mathematical programming relaxations for filtering binary constraint satisfaction problems. We introduce the consistent value polytope and give a linear programming description that is provably tighter than a recently studied formulation. We then provide an experimental study that shows that, despite the theoretical progress, in practice filte...

We present a theoretical study on the idea of using mathematical programming relaxations for filtering binary constraint satisfaction problems. We introduce the consistent value polytope and give a linear programming description that is provably tighter than a recently studied formulation. We then provide an experimental study that shows that, despite the theoretical progress, in practice filte...

Using integer linear programming and table-lookups we prove that there is no binary linear [1988, 12, 992] code. As a byproduct, the non-existence of binary linear [324, 10, 160], [356, 10, 176], [772, 11, 384], and [836, 11, 416] codes is shown. On the other hand, there exists a linear (994, 4, 992) code over Z4. Its Gray image is a binary non-linear (1988, 2, 992) code. Therefore, we can add ...

Binary optimization is a widely investigated topic in integer linear programming. This study proposes a DNA-based computing algorithm for solving the significantly large binary integer programming (BIP) problem. The proposed approach is based upon Adleman and Lipton's DNA operations to solve the BIP problem. The potential of DNA computation for the BIP problem is promising given the operational...

A Unifying Framework for the Convexification of Mixed-Integer Conic Binary Sets The paper “Conic Mixed-Binary Sets: Convex Hull Characterizations and Applications,” by Fatma Kilinc-Karzan, Simge Kucukyavuz, Dabeen Lee, Soroosh Shafieezadeh-Abadeh, develops a unifying framework convexifying mixed-integer conic binary sets. Many applications in machine-learning operations research give rise to in...