This paper mainly studies mixed integer linear programming (MILP)-based cryptanalysis on round-reduced NBC algorithm with generalized Feistel structure. First, each component of the is equivalently described by inequality equations, and propagation rules differential characteristics approximation are described, an automatic search model mode mask based MILP established, minimum number active S-...

Selecting an MCDM method to use in any decision-making problem is always a difficult issue regarding that there no agreement generally on which the most appropriate one. This paper addressed proposal of hybrid approach for this problem. Under assumption superiority among well-established and accepted methods, we defined maximin strategy based fact lowest correlation between MCDMs proposed terms...

Production planning is a necessary process that directly affects the efficiency of production systems in most industries. The complexity current problem depends on increased options production, uncertainties demand and resources. In this study, stochastic multi-objective mixed-integer optimization model developed to ensure uncertainty conditions satisfy requirements sustainable development. sys...

We consider Simultaneous Balancing and Scheduling of Flexible Mixed Model Assembly Lines with Sequence-Dependent Setup Times (SBSFMMAL-SDST). We propose alternate Mixed Integer Programming (MIP) and Constraint Programming (CP) formulations. Our experiments show that while the MIP models could not solve relatively small instances, the CP approach seems more promising.

In this paper, we propose an integer linear programming model whose solutions are the aperiodic rhythms tiling with a given rhythm A. We show how it can be used to define iterative algorithm that, period n, finds all which tile A and also efficiently check necessity of Coven-Meyerowitz condition (T2). To conclude, run several experiments validate time efficiency model.

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