Mamer & McBride recently introduced a new decomposition algorithm for linear programming. They call this decomposition algorithm decomposition-based pricing. Our paper applies decomposition-based pricing to integer programs. For integer programs, we show that decomposition-based pricing produces tighter bounds than other common decomposition algorithms. We use the classic one-dimension cutting ...

Over 100 C integer vulnerabilities have been publicly identified to date, some of which have resulted in serious disasters such as rocket malfunction. C integer vulnerabilities can arise when one integer type is cast to another incompatible integer type. The rules which determine integer cast safety are cumbersome, lengthy, and sometimes unintuitive. As a result, it is common to find thousands ...

Presented here is a generalization of the implicit enumeration algorithm that can be applied when the objec-tive function is being maximized and can be rewritten as the difference of two non-decreasing functions. Also developed is a computational algorithm, named linear speedup, to use whatever explicit linear constraints are present to speedup the search for a solution. The method is easy to u...

Geometries with 45° line segments are often used in integrated circuit layouts, since they can save considerable area. In the limit, the introduction of 45° lines is only 5% less dense than optimal geometry, i.e. circular geometry, whereas manhattan geometry is 27% less dense [7]. Obviously any actual design cannot make use of this density factor everywhere but figure 1 illustrates a simple but...

Protein threading is a method of computational protein structure prediction used for protein sequences which have the same fold as proteins of known structures but do not have homologous proteins with known structure. The most popular algorithm is based on linear integer programming. In this paper, we consider methods based on nonlinear integer programming. Actually, the existing linear integer...

This paper considers a real-world rostering problem at the Gold Coast Hospital, Queensland. Nurse rostering is a constraint satisfaction problem (CSP) [3]. The task is to find a consistent allocation of shift values, for a group of nurses, over a fixed period of time, that satisfy a set of rostering constraints. These constraints include i) acceptable shift combinations (or schedules) for indiv...

In this paper, mixed integer programming (MIP) formulations are proposed to obtain the optimal capacity of the battery energy storage system (BESS) in a power system. Two optimization problems will be investigated: (1)When the BESS is owned by a utility, the operation cost of generators and cost of batterywill beminimized. Generator on/off states, dispatch level and battery power dispatch level...