in this paper, a mathematical method is proposed to formulate a generalized ordering problem. this model is formed as a linear optimization model in which some variables are binary. the constraints of the problem have been analyzed with the emphasis on the assessment of their importance in the formulation. on the one hand, these constraints enforce conditions on an arbitrary subgraph and then g...

1 Summary: This paper deals with lot sizing and scheduling for a single-stage production system where setup costs and times are sequence dependent. A large bucket mixed integer programming (MIP) model is formulated which considers only eecient sequences. A tailor-made enumeration method of the branch-and-bound type solves problem instances optimally and eeciently. Furthermore, it will become cl...

A simulation-based scheduling mechanism for photoreconnaissance satellite is presented in this paper. The satellite scheduling problem belongs to a class of singlemachine scheduling problems with time window constraint. It is NP-hard in computational complexity. Based on simulation platform, a mixed integer programming model is used to formulate the problem and an advanced tabu algorithm is ado...

The recent ubiquity of social networks allows firms to collect vast amount of data about their customers including their social interactions. We consider a setting where a monopolist sells an indivisible good to consumers that are embedded in a social network. We capture interactions among consumers using a broad class of non-linear influence models. This class includes several existing influen...

In Mixed Integer Linear Programming (MIP), a (strong) backdoor is ``small" subset of an instance's integer variables with the following property: in branch-and-bound procedure, instance can be solved to global optimality by branching only on backdoor. Constructing datasets pre-computed backdoors for widely used MIP benchmark sets or particular problem families enable new questions around novel ...

A way of implementing domain-specific cutting planes in branch-andcut based Mixed-Integer Programming (MIP) solvers is through solving so-called sub-IPs, solutions of which correspond to the actual cuts. We consider the suitability of using Maximum satisfiability solvers instead of MIP for solving subIPs. As a case study, we focus on the problem of learning optimal graphical models, namely, Bay...

This paper considers the integrated problem of quay crane assignment, quay crane scheduling, yard location assignment, and vehicle dispatching operations at a container terminal. The main objective is to minimize vessel turnover times and maximize the terminal throughput, which are key economic drivers in terminal operations. Due to their computational complexities, these problems are not optim...

An arborescent distribution system is a multi-level system in which each installation receives input from a unique immediate predecessor and supplies one or more immediate successors. In this paper, it is shown that a distribution system with an arborescent structure can also be modelled using an echelon stock concept where at any instant the total echelon holding cost is accumulated at the sam...

This paper deals with MIP-based primal heuristics to be used within a branch-and-cut approach for solving multi-layer telecommunication network design problems. Based on a mixed-integer programming formulation for two network layers, we present three heuristics for solving important subproblems, two of which solve a sub-MIP. On multi-layer planning instances with many parallel logical links, we...

We present the application of Genetic Programming (GP) in Branch and Bound (B&B) based Mixed Integer Linear Programming (MIP). The hybrid architecture introduced employs GP as a node selection expression generator: a GP run, embedded into the B&B process, exploits the characteristics of the particular MIP problem being solved, evolving a problem-specific node selection method. The evolved metho...