In this paper we present a rather new approach to apply mixed-integer optimization to the cryptanalysis of cryptographic primitives. We focus on the stream cipher Trivium, that has been recommended by the eSTREAM stream cipher project, and the lightweight block cipher Ktantan. Using these examples we explain how the problem of solving a non-linear multivariate Boolean equation system can be for...

We propose mathematical programming models for solving problems arising from planning and running an energy production process based on burning biomasses. The models take into account different aspects of the problem: determination of the biomasses to produce and/or buy, transportation decisions to convey the materials to the respective plants, and plant design. Whereas the “running model” is l...

This paper studies the hybrid flow shop scheduling where the optimization criterion is the minimization of total tardiness. First, the problem is formulated as a mixed integer linear programming model. Then, to solve large problem sizes, an artificial immune algorithm hybridized with a simple local search in form of simulated annealing is proposed. Two experiments are carried out to evaluate th...

The R&D process in the pharmaceutical industry has a long and dynamic life then it is an ideal field of application for ROA. Actually, ROA implementation, as widely demonstrated in literature, is narrowed to very limited cases because its perceived complexity. This research wants to suggest a simplified method, respect the ones available in literature, that could foster the use of ROA: we built...

We develop a mixed-integer linear programming model for designing three-stage supply chain (SC) networks. The model determines the optimal quantity of each product to be produced at each plant in each period, subcontracted at each distribution centre (DC), transported from each plant to each DC and from each DC to each retailer in each period, and kept in inventory in each plant and in each DC ...

design of a logistics network in proper way provides a proper platform for efficient and effective supply chain management. this paper studies a multi-period, multi echelon and multi-product integrated forward-reverse logistics network under uncertainty. first, an efficient complex mixed-integer linear programming (milp) model by considering some real-world assumptions is developed for the inte...

vehicle routing problem (vrp) is one of the major problems in the transportation and distribution planning. in the most previous studies, the objective of vrp models was distance and vehicle related costs. however in many industrial cases along with routing distance, vehicle loading amount is a factor of cost function. in this paper, we formulate a mixed integer non-linear programming (minlp) m...

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...