# A Hybrid Method for Modeling and Solving Supply Chain Optimization Problems with Soft and Logical Constraints.

1. Introduction

A supply chain (SC) is a system of producers, distributors, suppliers networks, customers, retailers, activities, resources, and information involved in moving services and/or products from producers to customers. All members of the SC are working together to achieve this goal . Supply chain management (SCM) covers planning, control, and management of all activities and resources in production, distribution, and transportation.

Simultaneous consideration of distribution, production, and transport planning and control problems greatly advances the effectiveness of the processes and operations of all of these problems. These problems are characterized by high complexity due to the large number of different activities of the SC (plants, vehicles, distribution centers, retailers, etc.) and due to many interactions and different restrictions among these activities (i.e., capacity, modes of transportation, relocation of distribution centers, nature of demand, balance, environmental, etc.). For modeling these restrictions it is usually sufficient to use linear, integer, or binary constraints.

In contrast, soft and logical constraints are better suited to modeling issues related to trade agreements, marketing, contracts, competition, security, finance, and so forth.

Thus, the nature of the SC problems is characterized by a number of constraints and discrete decision variables, as confirmed by a variety of optimization models, the review of which is presented in [2, 3]. The structure of decision and optimization problems in a SC poses a real challenge in terms of mathematical programming (MP) application to both their modeling and their optimization. Very often discussed problems become overconstrained (the problem where solution does not exist, i.e., valuation of variables that satisfies all the constraints).

For this reason, the main motivation behind this study was to develop an alternative approach, highly effective in optimization and far more flexible in problem modeling than mathematical programming methods, especially when modeling logical and soft constraints.

A contribution of this paper is to propose a declarative method for hybrid modeling and solving of the supply chain optimization problems using multidimensional transformation as a presolving method. Moreover, a hybrid transformed combinatorial model with soft, hard, and logical constraints for supply chain optimization problems has been described. In addition, a declarative hybrid implementation framework has been presented, in which mathematical programming (MP) and constraint logic programming (CLP) are integrated.

A declarative constraint logic programming environment with MP-library (Eplex) as a declarative hybrid framework was chosen for the implementation of this method and model.

The rest of this paper is organized as follows: Section 2 describes material and methods. Section 3 gives the main assumptions of the declarative method with MP-library and describes implementation framework. The optimization models (MILP, hybrid, and hybrid transformed), computational examples, and efficiency tests of the declarative implementation framework are shown in Section 4. The summary and discussion on possible extensions are included in Section 5.

2. Methods

The use of constraint-based methods for the modeling of decision and optimization problems that contain constraints appears to be natural and effective owing to their character and properties. Constraints reflect the logical relationships between decision variables. Each variable can take values within a given domain--constraints restrict the ranges of those values. The properties of constraints include the following:

(i) Declarativity. Define the relationships between variables; no computation algorithm is needed.

(ii) Additivity. The set of constraints, their context, and conjunction are important, not their sequence in adding to each other.

(iii) Dependence. Constraints often share decision variables, commonly in the problems of supply chain management, production, transport, and logistics.

(iv) Domain Solution. Constraints rarely specify the values of decision variables--the domains within which the variables can take on values are specified more often.

These properties and the character of constraints make them a natural form of knowledge and information modeling, particularly adequate in such areas as production, logistics, transport, or distribution, where they become resource, time, environment, transport, or finance constraints of linear, nonlinear, logical, or integer type. An optimization problem of SCM connects the issues of storage, production, distribution, and transportation taking account of conditions relating to time, environment, and finance.

Therefore, we claim that constraint-based environments are a natural way of modeling the problem with constraints [4-8]. These environments usually use the declarative programming paradigm which specifies the conditions the solution has to satisfy (what is to be achieved) and not the detailed algorithm (how it should be achieved). The constraint satisfaction problem (CSP) is the fundamental concept of constraint-based declarative environments [4, 9].

CSP is a mathematical problem described as a set of objects whose condition must satisfy a set of constraints.

Formally, CSP is described by a set of decision variables [V.sub.1], [V.sub.2], ..., [V.sub.n] and set of constraints [Con.sub.1], [Con.sub.2], ..., [Con.sub.m]. Each decision variable Vj has a domain Dom; of possible variables. Each constraint Con; involves some subset of the decision variables and determines the combination of values for this subset. A state of the CSP is described by an assignment of values to decision variables. An assignment that meets all constraints is named a consistent/legal assignment.

CSPs are usually solved using a different form of search. The most used methods include constraint propagation , different variants of backtracking , and local search.

These techniques allow one to quickly find a domain solution or conclude that domains are contradictory.

CSPs are the basis for constraint programming (CP)/ constraint logic programming (CLP) environments .

Several modifications of the classic model of CSP have been proposed: flexible CSPs (relaxing assumptions that each solution must satisfy all constraints, including FuzzyCSP), dynamic CSPs (a sequence of the static CSPs), and decentralized CSPs .

Problem representation as a CSP offers several advantages. First, it is closer to a natural presentation of a problem (constraints over variables). Second, there is no requirement for presenting the solving method/algorithm. Finally, its effectiveness for yes/no decision problems is higher than that of traditional methods.

The use of a declarative method, for example, CLP, offers better decision and optimization modeling possibilities compared to the MP-based approach. Advantages and shortcomings of both (MP and CLP) are widely reported in the literature [12, 13] including our own experience [14, 15].

In MP environments, the number of modeling constraint types is modest, including only linear and integer constraints. CLP environments make use of a wider range of constraints; in addition to those named above, nonlinear, logical, or predefined symbolic (cumulative, all different, disjunctive, etc.) constraints are embedded. Different types of constraints require different computational effort in both environments. MP-based approaches are effective in solving linear constraints and optimization but poor at handling integer (binary) constraints. Logical constraints are hard to model in the MP-based environments, where a number of linear and integer constraints (common in SCM problems) have to be contained. In CLP-based environments, integer and binary (domain integrity) and logical and nonlinear constraints are easy to model and solve. However, linear constraints, which add up many decision variables, increase the computational effort and extend the solving time, especially when an optimization problem is being solved. Yet, this constraint type is common in production, distribution, and transportation problems, thus for SCM optimization.

Therefore, MP-based environments are effective in solving linear constraints and optimization. In contrast, the CP-based environments are effective for modeling and solving integer and logical constrains and finding feasible solutions.

Each issue of problem modeling and solving can be considered in three areas (dimensions). The first concerns the proposed method for both modeling and solving. The second relates to the structure and nature of the problem (types of constraints, the decision or optimization problem, etc.). The last area refers to the data instances. Each of the presented environments uses these areas in a different way (Figure 1). CLP mainly uses the data instances and slightly less the structure of the problem. Due to the declarative nature, external methods or algorithms are not required. The CLP model is already the method. MP mainly focuses on the method and then the structure and properties of the problem. The data instances are outside of MP model. Therefore, hybrid method allows maximum exploration of all these three areas (Figure 1).

The majority of supply chain optimization problems are formulated as MP-based models (MIP-Mixed Integer Programming; MILP, Mixed Integer Linear Programming; IP, Integer Programming; and MOOP, multiobjective optimization programming) [2, 6, 7].

Due to the properties and character of the models of supply chain optimization and a large number of integer decision variables, MP-based models and methods can only be used to solve problems of small size. Another weak point of these models is that only integer, linear, and binary constraints can be applied. In fact, issues related to the supply chain optimization are often nonlinear, logical, and so forth.

For the above reasons, the problems were formulated in a new way with new hybrid transformed models.

The most important objectives behind this research were to develop hybrid optimization models and methods for supply chain optimization problems using a declarative hybrid method with multidimensional transformation.

Hybridization results from the fact that what is difficult to model and solve in CLP can be easily modeled and solved in MP and vice versa. The best programming framework for the implementation of the hybrid models and methods is a declarative CLP environment with MP-library. Moreover, such declarative hybrid models and methods allow the use of all areas (dimensions) of the problem (methods, structure, and data) to solve it (Figure 1). Finally, this method allows the multidimensional transformation of the problem (Section 4.3), which reduces its size and significantly affects the speed of finding a solution. Among other things, the presented method differs from the integrative approaches CP/MP known from the literature [12, 13, 16, 17] in the use of multidimensional transformation as an integral part of the declarative hybrid method.

3. The Concept and Implementation of the Declarative Hybrid Method

Based on the characteristics of the CLP and MP environments, their mutual complementarity, the properties of supply chain optimization problems, and previous experiences with hybridization [14, 15] we have proposed the concept of a declarative method for modeling and optimization. The main assumptions of the proposed concept are as follows:

(i) The problem is modeled by a set of facts and a set of constraints (integer, linear, logical, etc.).

(ii) Models can be formulated in the form of MIP/MILP/ IP models or hybrid models.

(iii) Constraints may take two forms: soft and hard.

(iv) The problem is modeled by CLP-based predicates, a far more flexible technique than the MP-based procedures and formulas.

(v) Multidimensional transforming of the model as a presolving method is done by CLP-based predicates (Section 3.1).

(vi) Optimization is done through MP-based procedures.

The scheme of the implementation framework for declarative hybrid method is presented in Figure 2.

From a variety of declarative constraint programming environments for the implementation of the framework, [ECL.sup.i][PS.sup.e] software [4, 18] was selected. [ECL.sup.i][PS.sup.e] is a high-level modeling, control, and declarative programming language with interfaces to third-party solvers. [ECL.sup.i][PS.sup.e] was used to model the problem, transform it, and search for a domain solution by constraint propagation (Figure 2, Table 1). This solution was then the basis for the final MILP model, developed in the Eplex library  of the [ECL.sup.i][PS.sup.e] environment. The Eplex library allows MIP/IP/MILP problems to be modeled in [ECL.sup.i][PS.sup.e] environment and optimized by an external mathematical programming solver.

3.1. The Concept of Multidimensional Transformation of the Problem. Due to the nature of models in SC/SCM (a large number of integer decision variables, summation of many decision variables in the objective function and constraints), the constraint propagation efficiency decreases significantly.

Constraint propagation  is an important component of constraint logic programming affecting the efficiency and effectiveness of the search solution. For these reasons, studies into more effective way of constraint propagation have been performed [14, 15]. The result of this study was to propose a new multidimensional transformation of the problem as a presolving method. Transformation is this element of this hybrid method which distinguishes it from the MP and CLP integration methods reported in the literature [13, 20, 21]. This method proposes a multidimensional transformation of a problem (1M), which involves decision variables (2M) and constraints (3M). The following dimensions are considered (4M): data (D), properties and the structure of the problem (S), and the properties of the modeling and solving CLP environment (CLP). Table 1 describes the symbols used in the transformation.

[mathematical expression not reproducible], (1M)

[mathematical expression not reproducible], (2M)

[mathematical expression not reproducible], (3M)

[mathematical expression not reproducible]. (4M)

The transformation [T.sup.CLP](4M), performed in the CLP environment, results in the following (Section 4.3):

(i) The reduction in the total number of and changing the nature of decision variables attained through aggregation and elimination.

(ii) The reduction in the number of constraints resulting from the problem properties.

(iii) The introduction of additional constraints [C.sup.AT] that limit the solution search space without affecting the problem (Table 6).

(iv) The reduction of the solution search time.

4. Illustrative Examples

The proposed method has been verified on two SCM optimization illustrative examples. First example was formulated as MILP model based on  overconstraints (2)-(27). This model was used to compare the DHIF relative to the classical MP solver for the same data sets [22, 23]. Then the hybrid model (HM) (1)-(30) was implemented and solved only in DHIF because the declarative and logical character of constraints (28)-(30) weakens the structure of the model. In addition, these constraints are difficult to implement in the MP-based environment and cause the increase in the number of decision variables and the number of constraints and extend the solution search time beyond acceptable limits.

The logical constraints relate to various practical situations. In the hybrid model, three logical constraints were introduced: (28) which excludes concurrent transportation of selected products by different transport means, which eliminates the necessity of repackaging unacceptable by the customer, (29) which limits the number of participating distributors, for example, due to a limited number of available portable scanning devices for radioactivity, biological, or chemical contamination, and (30) which allows the simultaneous production, distribution, transportation, and storage of exclusively one of the set of two selected products items.

Table 2 shows indices, decision variables, and parameters used in the models. The exemplified structure of the SCM network for these models, composed of manufacturers, distributors, customers, and multimodal transport, is shown in Figure 3. The MILP and hybrid models for illustrative examples are the cost models that take into account other types of parameters, that is, time (duration of supply and service by distributor, etc.), the transport mode, distributor's capacity, capacityoftransport unit, and thespatial parameters (volume/capacity occupied by the product).

The principal assumptions used in the construction of the models are as follows:

(i) Supply chain network has a structure as in Figure 3.

(ii) Supply chain management process uses information that relates to production (cost, versatility capacity, etc.), product item (volume), resources (costs, versatility, capacity, etc.), transportation (cost, time, mode, and capacity), demand (product item, time), inventory (costs, capacity, time, and versatility), and so forth.

(iii) Transportation is multimodal (a limited number of transportation units for each mode, several modes of transportation).

(iv) The environmental aspects of use of transportation units in different modes are taken into consideration.

(v) Transport batch contains various types of products.

(vi) It includes fixed and variable costs of supply (which may take the form of a linear function).

(vii) The models have integer, linear, and logical constraints (only in hybrid model).

(viii) The objective function is a linear function of cost relating to the entire supply chain.

4.1. Objective Function of the Optimization Models. The objective function (1) determines the total cost of supply chain management. It consists of five components. The first component relates to the total environmental costs (using various means of transport units). The environmental costs are dependent on the environmental levy, which can depend on fuel consumption (gasoline, oil, or gas) and carbon-dioxide emissions  and, on the other hand, on the number of courses by transportation units. The second component determines the cost of the supply from the factories to the distributors. Next element is responsible for the costs of the supply from the distributors to the customer. Another element specifies the production cost of the product item by the given factory. The last element of the objective function (1) specifies the costs (fixed) associated with the activities and processes of the distributors involved in the supply (loading, unloading, packaging, ticketing, and so on.).

The formulation of the objective function in this way allows the comprehensive optimization of the all costs in various aspects of SCM. The above objective function is the same for all models in Section 4.

[mathematical expression not reproducible]. (1)

4.2. Constraints. The model has the following constraints (2)-(27). Constraint (2) specifies that all supplies of product item d produced by the factory a to all distributors b using mode of transport e do not exceed the production capacity at factory a. Constraint (3) ensures the coverage of all customer/retailer c orders ([Z.sub.c,d]) for product d as a result of supply by distributors b. The balance of the products d flow through the distributor b is constraint (4). Possibility of supply by the distributor b depends on its technical capabilities (5). Delivery time conditions are met by constraint (6).

The set of constraints from (7) to (11) determines the necessary means of transport for the supply.

The set of constraints (12), (13), and (14) set values of decision variables [mathematical expression not reproducible], based on binary decision variables [mathematical expression not reproducible]. The remaining set of constraints (17)-(27) results from the nature of the mathematical programming model.

Constraint (28) excludes transportation of selected product d by different transport means [e.sub.1], [e.sub.2], ..., [e.sub.i].

Constraint (29) ensures that a group of products [d.sub.1], [d.sub.2], ..., [d.sub.i] cannot be stored in more than [B.sub.n] centers simultaneously. Constraint (30) excludes concurrent production, distribution, and transport of selected products [d.sub.1] and [d.sub.2].

The constraints above result from the practical reasons, including sales, security, marketing, contracting, or technology. Logical constraints occur especially often in a situation of strong competition.

Constraints (28)-(30) can be repeatedly reused for different pairs of product d and for some of or all of factories a and distributors b. Such a logical constraint is extremely difficult to implement in mathematical programming model. It demands that each logical constraint be replaced by many linear constraints. This sometimes leads to the explosion of the number of constraints.

Only declarative methods based on CSP make easy implementation of constraints such as (28), (29), (30) possible. The introduction to model (1)-(27) logical constraints such as (28), (29), and (30) changes its nature as well as converting it into a hybrid model (HM). This model can only be considered in the DHIF.

[mathematical expression not reproducible], (2)

[mathematical expression not reproducible], (3)

[mathematical expression not reproducible], (4)

[mathematical expression not reproducible], (5)

[mathematical expression not reproducible], (6)

[mathematical expression not reproducible], (7)

[mathematical expression not reproducible], (8)

[mathematical expression not reproducible], (9)

[mathematical expression not reproducible], (10)

[mathematical expression not reproducible], (11)

[mathematical expression not reproducible], (12)

[mathematical expression not reproducible], (13)

[mathematical expression not reproducible], (14)

[mathematical expression not reproducible], (15)

[mathematical expression not reproducible], (16)

[mathematical expression not reproducible], (17)

[mathematical expression not reproducible], (18)

[mathematical expression not reproducible], (19)

[mathematical expression not reproducible], (20)

[mathematical expression not reproducible], (21)

[mathematical expression not reproducible], (22)

[mathematical expression not reproducible], (23)

[mathematical expression not reproducible], (24)

[mathematical expression not reproducible], (25)

[mathematical expression not reproducible], (26)

[mathematical expression not reproducible], (27

LogicS (d, [b.sub.1], [b.sub.2]) [for all]d [member of] 1 ..., D, [for all][b.sub.1], [b.sub.2] [member of] 1 ... B, [b.sub.1] [not equal to] [b.sub.2], (28)

[LogicS.sub.n] ([d.sub.1], ..., [d.sub.i], b, [B.sub.n]) [for all][d.sub.1], [d.sub.2], ..., [d.sub.i] [member of] 1 ..., D, [for all]b [member of] 1 ... B, [d.sub.i] [not equal to] [d.sub.j], (29)

LogicExl ([d.sub.1], [d.sub.2], b, a, e) [for all][d.sub.1], [d.sub.2] [member of] 1 ... D, [for all]b [member of] 1 .... B, [for all]a 1 ... [for all]e [member of] 1 ... E [d.sub.1] [not equal to] [d.sub.2]. (30)

4.3. The Transformation of Illustrative Models. The possibility of transformation of the problem is an important feature of the proposed method. Multidimensional transformation [T.sup.CLP] (Section 3.1) was used in the illustrative examples as a presolving method. The representation of the problem was altered using S-structure of the problem and D-data. Our goal was the transformation of the problem to make a significant reduction in its size without changing the problem. It consisted in changing the representation of the problem. Any acceptable routes connecting factories, distributors, and customers were generated based on the set of facts relating to orders and supply chain structure.

Then, the specific values of parameters like manufacturers a, distributors b, products d, mode of transport form factory to distributor [e.sub.1], mode of transport form distributor to customer [e.sub.2], and customers c (Table 2) were assigned to each of the acceptable routes. Thus, only one parameter, [X.sub.p] (the volume of supplies), needs to be determined.

This means that six sets of parameters more were to be determined before the transformation. In this step the sets of decision variables [X.sup.T] and constraints [C.sup.T] were subject to change. Thereby, the obtained model after the transformation MILP_T (1T)-(17T) has different decision variables and different constraints than those in the MILP (1)-(27). Some of the decision variables are redundant; other variables are subject to aggregation. This results in a dramatic reduction in their number. Decision variables before and after the transformation are shown in Table 3(a). The transformation also reduces or eliminates some of the constraints of the model. Thus, constraints (4), (6), (12), (13), and (14), present in the MILP (1)-(27) and shown in Section 4.2, are redundant in the MILP_T. Balance constraint (4) is unnecessary because the route defines the specific distribution center. Only those routes that meet the time constraints are generated; therefore constraint (6) does not make sense. Binarity ensures whether or not the route occurs; thus constraint (12) is redundant. Reduction of certain variables also affects the reduction of constraints, hence the lack of constraints (13) and (14), in the model. Constraints before and after the transformation are shown in Table 3(b).

In the following step of the transformation, the properties of the CLP including constraint propagation were used to find, based on the domains (Tables 4 and 5), certain quantities and create a new set of additional constraints [C.sup.AT] (Table 6). Therefore, transformed model (MILP_T) was extended to additional constraints (1AC)-(6AC). These constraints affect the efficiency of the search for a solution by narrowing down the search area. It is obvious that the transformed model (MILP_T) can be extended from logical constraints (28)-(30) to a hybrid model (HM).

The proposed transformation improves the efficiency and effectiveness of the constraint propagation by reduction of the number of backtracks. It will be explicitly shown in the numerical experiments in Section 4.6.

[mathematical expression not reproducible], (1T)

[mathematical expression not reproducible], (2T)

[mathematical expression not reproducible], (3T)

[mathematical expression not reproducible], (4T)

[mathematical expression not reproducible], (5T)

[mathematical expression not reproducible], (6T)

[mathematical expression not reproducible], (7T)

[mathematical expression not reproducible], (8T)

[mathematical expression not reproducible], (9T)

[mathematical expression not reproducible], (10T)

[mathematical expression not reproducible], (11T)

[mathematical expression not reproducible], (12T)

[mathematical expression not reproducible], (13T)

[mathematical expression not reproducible], (14T)

[mathematical expression not reproducible], (15T)

[mathematical expression not reproducible], (16T)

[mathematical expression not reproducible], (17T)

[LogicS.sup.T](d, [b.sub.1], [b.sub.2]) [for all]d [member of] 1 ... D, [for all][b.sub.1], [b.sub.2] [member of] 1 ... B, [s.sub.1] [not equal to] [s.sub.2], (18T)

[LogicS.sub.n.sup.T]([d.sub.1], ... [d.sub.i], b, [B.sub.n]) [for all][d.sub.1], [d.sub.2], ... [k.sub.i] [member of]1 ... O, [for all]b [member of] 1 ... B, [d.sub.i] [not equal to] [d.sub.j], (19T)

[LogicExl.sup.T] ([d.sub.1], [d.sub.2], b, a, e) [for all][d.sub.1], [d.sub.2] [member of] 1 ... D, [for all]b [member of] 1 ... E, [for all]a [member of] 1 ... A, [d.sub.1] [not equal to] [d.sub.2], (20T)

[mathematical expression not reproducible], (1AC)

[mathematical expression not reproducible], (2AC)

[mathematical expression not reproducible], (3AC)

[mathematical expression not reproducible], (4AC)

[mathematical expression not reproducible], (5AC)

[mathematical expression not reproducible], (6AC)

4.4. Soft Constraints. Constraints of the transformed model can be satisfied in the hard or soft form. This is due to practical circumstances. For some of the constraints, it is difficult to satisfy in full (hard), due to limited resources, time, technology, and so forth or their fulfillment requires unacceptable computational effort.

In the highly competitive environment we need to know how much "costs" exceed a given constraint or fulfill it in part.

Such constraints can be satisfied in an approximate way, that is, in the soft form. In this case, how this affects the value of the objective function should be determined.

The softening of constraints in this approach is a process which contains the following: (a) changing their form and (b) introducing a modification to the objective function.

For instance, four constraints of the transformed model of illustrative example (9T), (18T), (19T), and (20T) have been converted into soft form, (2S), (3S), (4S), and (5S).

Constraint (2S) allows exceeding the limit of available number of transportation units using transportation mode e.

Constraints (3S), (4S), and (5S) allow the possibility of not fulfilling exclusions imposed by logical constraints (18T), (19T), and (20T).

For this purpose, the three additional components to the objective function have been introduced as a penalty for violation of constraint (1S). Table 7 shows parameters and decision variables necessary to modify the model with soft constraints.

[mathematical expression not reproducible], (1S)

[mathematical expression not reproducible], (2S)

[SoftLogicS.sup.T] (d, [b.sub.1], [b.sub.2]) [for all]d [member of] 1 ... D, [for all][b.sub.1], [b.sub.2] [member of] 1 ... B, [b.sub.1] [not equal to] [b.sub.2], (3S)

[SoftLogicS.sub.n.sup.T]([d.sub.1], ..., [d.sub.i], b, [B.sub.n]) [for all][d.sub.1], [d.sub.2], ..., [d.sub.i] [member of] 1 ... D, [for all]b [member of] 1 ... B, [d.sub.i], [not equal to] [d.sub.j], (4S)

[SoftLogicExl.sup.T] ([d.sub.1], [d.sub.2], b, a, e) [for all][d.sub.1], [d.sub.2] [member of] 1 ... D, [for all]b [member of] 1 ... B, [for all]e [member of] 1 ... E, [for all]a [member of] 1 ... A, [d.sub.1] [not equal to] [d.sub.2]. (5S)

4.5. Decision Support. The implementation of the presented models by DHIF allows the decision support in the following areas of the supply chain management (including but not limited to):

(i) The cost optimization of the supply chain management (Table 8).

(ii) The volume/capacity of distributor depots/storehouses and the investigation of their influence on the overall costs (Figure 4(a), Table 9).

(iii) The selection of the capacity of transportation units and modes, the transport fleet number for specific entire costs (Table 10, Figure 4(b)).

(iv) The selection of a set of routes for cost optimization (Figure 5(a)).

(v) Implementation of logical constraints in deliveries that result from technology, security, marketing, competition, and sales reasons (Table 8, [Q.sub.1], [Q.sub.2], [Q.sub.3], and Figure 5(b)).

(vi) Costs exceeding the available means of transport (soft constraints), Table 11.

Supporting this type of decision is extremely important in a highly competitive environment. Making optimal choices under existing constraints within an acceptable time gives you a competitive advantage.

4.6. Computational Experiments and Analysis. A number of numerical experiments were conducted to verify and evaluate the proposed method, models, and framework. All the numerical examples refer to the supply chain with twenty customers (c = 1 ... 20), four distributors (b = 1 ... 4), five manufacturers (a = 1 ... 5), and four modes of transport (e = 1 ... 4). In the first phase of the experiments, the optimization was performed for ten examples, [Pn.sub.1]-[Pn.sub.10], for the MILP model (1)-(27). The computational examples vary in the number of orders (N). The capacity available to the distributors fc ([V.sub.1] = [V.sub.2] = [V.sub.3] = [V.sub.4] = 2000) and the number of transport units ([mathematical expression not reproducible]) using the mode of transport e were the same for all the examples. The experiments were conducted to show the effectiveness and efficiency of the declarative hybrid method and implementation framework and their advantage over other methods. In order to prove this, model (1)-(27) was implemented in both the declarative hybrid implementation framework (DHIF) (MILP_T) and the mathematical programming environment (MILP). The experiments that follow were conducted to optimize examples [Pn.sub.11]-[Pn.sub.20], which are the implementations of the hybrid model (HM) (1)-(30) in the DHIF. Examples [Pn.sub.11]-[Pn.sub.20] were obtained from [Pn.sub.1]-[Pn.sub.10] by the addition of logical constraints: (28) for [Q.sub.3] series, (29) for [Q.sub.2] series, and (30) for [Q.sub.1] series. For example, [Pn.sub.1]-[Pn.sub.3] the optimal solution for the MILP_T implementation in the DHIF was found faster than that for the MILP implementation in mathematical programming environment (Table 7). For illustrative models, the use of this method allows obtaining optimal solutions eight to one hundred times faster, with a significant reduction in the size of the combinatorial problem. For example, [Pn.sub.4]-[Pn.sub.10] the optimal solution was found only for the MILP_T implementation within an acceptable time. Owing to the DHIF platform with the multidimensional transformation, the number of decision variables for the above examples was reduced even hundredfold and the number of constrains decreased at least 30-fold (Table 8). It is clear that optimization of the hybrid model (HM) was, due to its logical constraints, only possible using the declarative hybrid implementation framework. Also, the presented declarative hybrid method brought the expected results for this model. In further experiments, parameters such as number of transport units, distributor capacity were changed to observe the effect of this change on the optimal value of the objective function. Thus, Figure 4(a) shows the effect of capacity V (distributor) on the objective function [Fc.sup.opt]. Actual use of the distributor capacity [mathematical expression not reproducible] for particular distributors is shown in Table 9. In contrast, Table 10 and Figure 4(b) show the effect of the parameter Zt on the objective function [Fc.sup.opt].

Table 11 shows the results of the optimization model MILP_T with the constraint on the number of means of transport in hard version (9T) and soft version (2S). Computation times for the model with a soft constraint are slightly worse than the version with limited hard constraint. The differences are fully acceptable. You can also see the impact of the application of constraint (2S) on the objective function. And, most importantly, we managed to find the optimum solution, for example, [P.sub.3] (30) in the model MILP_T with constraint (2S).

5. Conclusions

In the highly competitive environment we are often forced to make quick and optimal decisions while assessing their costs. As it has been shown to support such decisions use of the presented approach and model is very effective.

The effectiveness of the proposed declarative hybrid method with multidimensional transformation is based on the reduction of a combinatorial optimization problem.

Thus, the application of this method practically to all the SCM optimization models ensures that the same or better solutions are found eight to more than one hundred times faster (very often optimal instead of feasible solutions). It needs to be highlighted that the proposed method not only enables faster solving of optimization problems but also enables faster solving of problems larger than those in [22, 25] (Table 8).

The proposed models and methods are highly recommended for all types of optimization problems in SCM or for similar problems where constraints include many discrete decision variables and their summation. Moreover, the proposed method allows successful modeling and solving of problems with logical constraints and therefore the DHIF implementations can be applied to area oflogistics, transport, production, and scheduling or project management.

In addition to nonquestionable effectiveness and efficiency of the proposed method, it offers unlimited possibilities of optimization problem modeling. This method is also applicable to problems with soft constraints (Table 11).

The possibility of optimization models, which also have soft and logical constraints, is very important for practical applications in the highly competitive environment (in case of violation certain constraints and assessing the impact on the objective function).

Future studies of the proposed method and framework will focus on the following: (a) modeling problems with other logical and nonlinear constraints and so forth, (b) multiobjective optimization, and (c) introduction of fuzzy logic  and uncertainty to the models.

Competing Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

 B. M. Beamon, "Supply chain design and analysis: models and methods," International Journal of Production Economics, vol. 55, no. 3, pp. 281-294, 1998.

 G. Q. Huang, J. S. K. Lau, and K. L. Mak, "The impacts of sharing production information on supply chain dynamics: a review of the literature," International Journal of Production Research, vol. 41, no. 7, pp. 1483-1517, 2003.

 J. Mula, D. Peidro, M. Dlaz-Madronero, and E. Vicens, "Mathematical programming models for supply chain production and transport planning," European Journal of Operational Research, vol. 204, no. 3, pp. 377-390, 2010.

 K. Apt and M. Wallace, Constraint Logic Programming Using Eclipse, Cambridge University Press, New York, NY, USA, 2006.

 P. Sitek and J. Wikarek, "A hybrid programming framework for modeling and solving constraint satisfaction and optimization problems," Scientific Programming, vol. 2016, Article ID 5102616, 13 pages, 2016.

 F. Rossi, P. Van Beek, and T. Walsh, Handbook of Constraint Programming (Foundations of Artificial Intelligence), Elsevier Science, New York, NY, USA, 2006.

 G. Bocewicz and Z. A. Banaszak, "Declarative approach to cyclic steady state space refinement: periodic process scheduling," International Journal of Advanced Manufacturing Technology, vol. 67, no. 1-4, pp. 137-155, 2013.

 K. Bzdyra, G. Bocewicz, and Z. Banaszak, "Mass customized projects portfolio scheduling-imprecise operations time approach," Applied Mechanics and Materials, vol. 791, pp. 70-80, 2015.

 M. G. Buscemi and U. Montanari, "A survey of constraint-based programming paradigms," Computer Science Review, vol. 2, no. 3, pp. 137-141, 2008.

 G. Kondrak and P. van Beek, "A theoretical evaluation of selected backtracking algorithms," Artificial Intelligence, vol. 89, no. 1-2, pp. 365-387, 1997.

 S. Bistarelli, U. Montanari, and F. Rossi, "Semiring-based constraint satisfaction and optimization," Journal of the ACM, vol. 44, no. 2, pp. 201-236, 1997.

 M. Milano and M. Wallace, "Integrating operations research in constraint programming," Annals of Operations Research, vol. 175, pp. 37-76, 2010.

 T. Achterberg, T. Berthold, T. Koch, and K. Wolter, "Constraint integer programming. A new approach to integrate CP and MIP," in Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, vol. 5015 of Lecture Notes in Computer Science, pp. 6-20, Springer, 2008.

 P. Sitek and J. Wikarek, "A hybrid method for modeling and solving constrained search problems," in Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS '13), pp. 385-392, IEEE, Krakow, Poland, September 2013.

 P. Sitek and J. Wikarek, "Hybrid solution framework for supply chain problems," in Distributed Computing and Artificial Intelligence, 11th International Conference, S. Omatu, H. Bersini, J. M. Corchado, S. Rodriguez, P. Pawlewski, and E. Bucciarelli, Eds., vol. 290 of Advances in Intelligent Systems and Computing, pp. 11-18, Springer, Berlin, Germany, 2014.

 J. N. Hooker, "Logic, optimization, and constraint programming," INFORMS Journal on Computing, vol. 14, no. 4, pp. 295321, 2002.

 V. Jain and I. E. Grossmann, "Algorithms for hybrid MILP/CP models for a class of optimization problems," INFORMS Journal on Computing, vol. 13, no. 4, pp. 258-276, 2001.

 Eclipse, "Eclipse-The Eclipse Foundation open source community website," 2015, https://eclipse.org/.

 K. Shen and J. Schimpf, "Eplex: harnessing mathematical programming solvers for constraint logic programming," in Principles and Practice of Constraint Programming-CP 2005, vol. 3709 of Lecture Notes in Computer Science, pp. 622-636, Springer, Berlin, Germany, 2005.

 A. Bockmayr and T. Kasper, "Branch-and-infer: a framework for combining CP and IP," in Constraint and Integer Programming, vol. 27 of Operations Research/Computer Science Interfaces Series, pp. 59-87, Springer, 2004.

 Q. Dang, I. E. Nielsen, and K. Steger-Jensen, "Scheduling a single mobile robot incorporated into production environment," in EcoProduction and Logistics--Emerging Trends and Business Practices, part 2, P. Golinska, Ed., EcoProduction, pp. 185-201, Springer, Berlin, Germany, 2013.

 P. Sitek and J. Wikarek, "Cost optimization of supply chain with multimodal transport," in Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS '12), pp. 1111-1118, IEEE, Wroclaw, Poland, September 2012.

 A. Schrijver, Theory of Linear and Integer Programming, John Wiley & Sons, New York, NY, USA, 1998.

 K. Grzybowska, "Sustainability in the supply chain: analysing the enablers," in Environmental Issues in Supply Chain Management: New Trends and Applications, P. Golinska and C. A. Romano, Eds., EcoProduction, pp. 25-40, Springer, Berlin, Germany, 2012.

 P. Sitek and J. Wikarek, "A hybrid framework for the modelling and optimisation of decision problems in sustainable supply chain management," International Journal of Production Research, vol. 53, no. 21, pp. 6611-6628, 2015.

 M. Relich and W. Muszynski, "The use of intelligent systems for planning and scheduling of product development projects," Procedia Computer Science, vol. 35, pp. 1586-1595, 2014.

http://dx.doi.org/10.1155/2016/1532420

Pawel Sitek, (1) Krzysztof Bzdyra, (2) and Jaroslaw Wikarek (1)

(1) Institute of Management and Control Systems, Kielce University of Technology, Kielce, Poland

(2) Department of Computer Science and Management, Koszalin University of Technology, Kielce, Poland

Correspondence should be addressed to Krzysztof Bzdyra; krzysztof.bzdyra@tu.koszalin.pl

Received 3 February 2016; Accepted 7 August 2016

Caption: Figure 1: Areas used in CLP and MP and hybrid method.

Caption: Figure 2: The conceptual scheme of the declarative hybrid implementation framework (DHIF).

Caption: Figure 3: The scheme of exemplified structure of the supply chain network with multimodal transport.

Caption: Figure 4: (a) Diagram visualizing the impact of parameter [V.sub.s] (distributor maximum capacity) for [Fc.sup.opt]. (b) Diagram visualizing the impact of parameter [mathematical expression not reproducible] (number of transportation units using transportation mode e) for [Fc.sup.opt]. (c) The number of used transport units (mode [e.sub.i], the limit [mathematical expression not reproducible].

Caption: Figure 5: (a) The structure of the supply chain network with multimodal transport for [Pn.sub.4] (40) and [Fc.sup.opt]. (b) The structure of the supply chain network with multimodal transport for [Pn.sub.14] (40) with [Q.sub.1] and [Fc.sup.opt].
```Table 1: Symbols used in the multidimensional transformation of
the problem.

Symbol        Description of the symbol

[P.sup.O]     Original problem

[X.sup.O]     Decision variables before transformation

[C.sup.O]     Constraints before transformation

[P.sup.T]     Transformed problem

[X.sup.T]     Decision variables after transformation

[C.sup.T]     Constraints after transformation

[C.sup.AT]    Additional constraints that limit solution search
space

S             Structure and properties of the modeled problem

D             Data (specific instances of data values for the
parameters of the problem)

CLP           Properties and methods of the CLP (constraint
propagation, local search, domain solving, etc.)

[T.sup.CLP]   Multidimensional transformation

Table 2: Indices, parameters, symbols, and decision variables.

Symbol                                      Description

Indices

d                                    Product item (d = 1 ... D)

c                                 Customer/retailer (c = 1 ... C)

a                               Factory (manufacturer) (a = 1 ... A)

b                                     Distributor (b =1 ... B)

e                               Mode of transportation (e = 1 ... E)

A                                       Number of factories

C                                  Number of customers/retailers

B                                      Number of distributors

D                                     Number of product items

E                                  Number of transportation modes

Input parameters

[F.sub.b]                           Distributor's cost (fixed) b

[P.sub.d]                       Volume/capacity occupied by product
item d

[T.sub.d]                             Weight of product item d

[V.sub.b]                       Max capacity/volume of distributor b

[W.sub.a,d]                     Production capacity of factory a for
product item d

[C.sub.a,d]                     Cost of product item d in factory a

[R.sub.b,d]                     If distributor b can supply product
item d then [R.sub.b,d] = 1 otherwise
[R.sub.b,d] = 0

[mathematical expression       Time required to prepare the dispatch
not reproducible]                            of product

item d by distributor b

[mathematical expression       Cut/off time of supply of product item
not reproducible]                     d to customer/retailer c

[Z.sub.c,d]                     Size of the order for product item d
placed by customer c

[mathematical expression not    Number of transportation units using
reproducible]                          transportation mode e

[mathematical expression not   Capacity of transportation unit using
reproducible]                          transportation mode e

[mathematical expression not    Tonnage of transportation unit using
reproducible]                          transportation mode e

[mathematical expression not          Supply time from factory
reproducible]                   (manufacturer) a to distributor b by
transportation mode e

[mathematical expression not   Cost of supplying product item d from
reproducible]                       factory (manufacturer) a to
distributor b by transportation mode e
(variable)

[mathematical expression not   If factory (manufacturer) a can supply
reproducible]                    distributor b using transportation
mode e, then [mathematical expression
not reproducible] otherwise
[mathematical expression not
reproducible]

[A.sub.a,b,e]                       Cost of supply from factory
(manufacturer) a to distributor b by
transportation mode e (fixed)

[mathematical expression not        Overall cost of supply from
reproducible]                      distributor b to customer c by
transportation mode e

[mathematical expression not    Time of supply from distributor b to
reproducible]                  customer/retailer c by transportation
mode e

[mathematical expression not     Variable cost of supply of product
reproducible]                  item d from distributor b to customer/
retailer c by transportation mode e

[mathematical expression not   If distributor b can supply customer/
reproducible]                   retailer c by transportation mode e,
then [mathematical expression not
reproducible] = 1; otherwise
[mathematical expression not
reproducible]

[mathematical expression not   Fixed cost of supply from distributor
reproducible]                       b to customer/retailer c by
transportation mode e

[mathematical expression not        Overall cost of supply from
reproducible]                   distributor b to customer/retailer c
by transportation mode e

[mathematical expression not        Environmental cost of using
reproducible]                          transportation mode e

Decision variables

[mathematical expression not   Quantity of a product item d supplied
reproducible]                     from factory (manufacturer) a to
distributor b by transportation mode e
to customer/retailer c

[mathematical expression not         If supply is from factory
reproducible]                   (manufacturer) a to distributor b of
product d by transportation mode e to
customer/retailer c, then
[mathematical expression not
reproducible] = 1, otherwise
[mathematical expression not
reproducible]

[mathematical expression not       Number of travels from factory
reproducible]                   (manufacturer) a to distributor b by
transportation mode e

[mathematical expression not    Quantity of product item d supplied
reproducible]                   from distributor b to customer c by
transportation mode e

[mathematical expression not     If supply is from distributor b to
reproducible]                   customer/retailer c for product d by
transportation mode e, then
[mathematical expression not
reproducible] = 1; otherwise
[mathematical expression not
reproducible] = 0

[mathematical expression not    Number of travels from distributor b
reproducible]                        to customer/retailer c by
transportation mode e

Table 3: (a) Decision variables used in the MILP and MILP T models.
(b) Constraints used in the MILP and MILP_T models.

(a)

Description of the decision
MILP                 MILP_T               variables after the
([X.sup.O])       ([X.sup.T])       multidimensional transformation

[mathematical    [mathematical    Decision variable [X.sup.T.sub.p],
expression not   expression not       unlike the initial decision
reproducible]    reproducible]    variables [X.sub.p], [Y.sub.p], is
generated only for technologically

[mathematical     MILP.T (XT)      possible indices combinations; it
expression not                      defines the allocation size of
reproducible]                          product d to the route of
deliveries

[mathematical                      After transformation replaced by
expression not    Unnecessary       the appropriate factor for the
reproducible]                         route, generated by the CLP

[mathematical    [mathematical      Without change, the same sense
expression not   expression not
reproducible]    reproducible]

[mathematical     Unnecessary      After transformation replaced by
expression not                      the appropriate factor for the
reproducible]                         route, generated by the CLP

[mathematical    [mathematical      Without change, the same sense
expression not   expression not
reproducible]    reproducible]

[mathematical    [mathematical      Without change, the same sense
expression not   expression not
reproducible]    reproducible]

(b)

Description of the constraints
after the multidimensional
MILP                 MILP_T                 transformation

([C.sup.O])       ([C.sup.T])

(1)                   (1T)           Objective function (the same
meaning)

(2)                   (2T)           The manufacturer's production
capacity (the same meaning)

(3)                   (3T)         The customer's demands (the same
meaning)

(4)               Unnecessary       Redundant after transformation
(results from the decision variable
[X.sup.T])

(5)                   (4T)         The distributor's capacity/volume
(the same meaning) Redundant after
transformation

(6)               Unnecessary     During the transformation generates
routes that meet the time
constraint

(7), (8),         (5T), (6T),       The appropriate number of means
(9), (10)          (7T), (8T)        of transport (the same sense)

(11)                  (9T)         The sum of the number of means of
transport used does not exceed the
limit of their number (the same
meaning)

(12)              Unnecessary       Redundant after transformation
(ensures constraint (4))

(13), (14)        Unnecessary       Redundant after transformation
After transformation replaced by
the appropriate factor for the
route Redundant after
transformation

(15), (16)        Unnecessary     Calculate the auxiliary parameters,
performed by CLP in transformation

(17)-(27)          (11)-(17)            Integrity and binarity

(28)-(30)         (18T)-(20T)     Logic constraints (the same meaning)

--                    (10)         Resetting the nonexisting routes
after transformation

([C.sup.AT])

--                (1AC)-(6AC)     Additional constraints increase the
range of propagation

Table 4: Input parameters determined by CLP for MILP_T.

Symbol               Description

[mathematical        The variable cost of supply of product item d
expression not       from factory a to customer c via distributor b
reproducible]        using modes of transportation [e.sub.1] and
[e.sub.2] (CLP, based on fixed data)

[mathematical        The binary parameter which is equal to 1 if there
expression not       is a route for specific a, d, b, c, [e.sub.1],
reproducible]        [e.sub.2] and zero otherwise

[mathematical        The cost of the course/route from the factory a
expression not       to distributor b using mode of transportation e
reproducible]        (CLP, based on fixed data)

[mathematical        The cost of the course/route from the distributor
expression not       b to customer c using mode of transportation e
reproducible]        (CLP, based on fixed data)

Table 5: Figures determined by CLP for MILP_T.

Symbol               Description

[mathematical        Minimum number of transport units e
expression not       (CLP-constraint propagation)
reproducible]

[mathematical        Maximum number of transport units e
expression not       (CLP-constraint propagation)
reproducible]

F_C                  Minimum number of transportation units in the
route Factories--Distributors (CLP-constraint
propagation)

C_C                  Minimum number of transportation units in the
route, distributors--customers (CLP-constraint
propagation)

Min_TU               Minimum number of transportation units
(CLP-constraint propagation)

Cn                   Minimum number of active distributors
(CLP-constraint propagation)

Table 6: Additional constraints for MILP_T.

Constraints          Description

(1AC)                Narrowing the size of the transport unit domain
from the bottom

(2AC)                Narrowing the size of the transport unit domain
from the top

(3AC)                The minimum number of all transport unit types
necessary for the shipment from the factory to
the distributors/distribution centers

(4AC)                The minimum number of all transport unit types
necessary for the shipment from the
distributors/distribution centers to customers

(5AC)                The minimum number of transportation units in
routes

(6AC)                The number of working distributors/distribution
centers

Table 7

Input parameters

[mathematical           Penalty coefficient if two selected type of
expression not         products are stored together, despite the ban
reproducible]

[mathematical           Penalty coefficient for the use of means of
expression not                   transport over the limit
reproducible]

[mathematical          Penalty coefficient if two selected types of
expression not        products are produced together, despite the ban
reproducible]

Decision variables

[mathematical          How many pairs of type of products are stored
expression not       together in the distribution center b despite the
reproducible]                              ban?

[mathematical         How many modes of transport e are used over the
expression not                            limit?
reproducible]

[mathematical         How many pairs of type of products are produced
expression not          together in the factory i despite the ban?
reproducible]

Table 8: The results of numerical examples for both methods.

(a)

DHIP
Pn (N)                                          MILP_T
[Fc.sup.opt]     T      V ([V.sub.int])    C

[Pn.sub.1] (10)        165180        10        818 (788)      1367
[Pn.sub.2] (20)        570715        35        987 (948)      1376
[Pn.sub.3] (30)        897015        71       1264 (1220)     1381
[Pn.sub.4] (40)       1564990       145       1536 (1492)     1381
[Pn.sub.5] (50)       2619310       201       1696 (1652)     1381
[Pn.sub.6] (60)       2963030       254       2080 (2036)     1381
[Pn.sub.7] (70)       3860300       290       2240 (2196)     1381
[Pn.sub.8] (80)       4786960       320       2512 (2468)     1381
[Pn.sub.9] (90)       5964200       321       2779 (2736)     1380
[Pn.sub.10] (100)     7397970       367       2939 (2896)     1380

(b)
Mathematical programming
Pn (N)                                           MILP
[Fc.sup.opt]     T      V ([V.sub.int])    C

[Pn.sub.1] (10)        165180        84      80117 (79204)    47426
[Pn.sub.2] (20)        570715       752      80117 (79204)    50626
[Pn.sub.3] (30)        897015       7248     80117 (79204)    53826
[Pn.sub.4] (40)      1613453 *     600 **    80117 (79204)    57026
[Pn.sub.5] (50)      2699720 *     600 **    80117 (79204)    60226
[Pn.sub.6] (60)      3003310 *     600 **    80117 (79204)    63426
[Pn.sub.7] (70)      4062950 *     600 **    80117 (79204)    66626
[Pn.sub.8] (80)      5092400 *     600 **    80117 (79204)    69826
[Pn.sub.9] (90)      6543450 *     600 **    80117 (79204)    73026
[Pn.sub.10] (100)    8213450 *     600 **    80117 (79204)    76226

(c)
[Q.sub.1]
Pn (N)                                           DHIP
HM
[Fc.sup.opt]     T      V ([V.sub.int])    c

[Pn.sub.11] (10)       193590        17        829 (800)      1384
[Pn.sub.12] (20)       641315        45        999 (960)      1394
[Pn.sub.13] (30)      1000770        82       1276 (1232)     1399
[Pn.sub.14] (40)      1677290       198       1548 (1504)     1399

[Q.sub.1]
Pn (N)                                          DHIP HM
[Fc.sup.opt]     T      V ([V.sub.int])    C

[Pn.sub.15] (50)      2638270       234       1708 (1664)     1399
[Pn.sub.16] (60)      3046250       298       2092 (2045)     1399
[Pn.sub.17] (70)      3970820       311       2252 (2208)     1399
[Pn.sub.18] (80)      4854680       345       2524 (2480)     1399
[Pn.sub.19] (90)      6034960       401       2791 (2748)     1398
[Pn.sub.20] (100)     7475980       453       2951 (2908)     1398

(d)
[Q.sub.2]
Pn (N)                                           DHIP
HM
[Fc.sup.opt]     T      V ([V.sub.int])    C

[Pn.sub.11] (10)       165180        11        821 (792)      1371
[Pn.sub.12] (20)       570715        38        991 (952)      1381
[Pn.sub.13] (30)       897015        74       1268 (1224)     1386
[Pn.sub.14] (40)      1564990       151       1540 (1496)     1386
[Pn.sub.15] (50)      2631090       204       1700 (1656)     1386
[Pn.sub.16] (60)      2998950       260       2084 (2040)     1386
[Pn.sub.n] (70)       3945430       296       2244 (2200)     1386
[Pn.sub.18] (80)      4796250       321       2516 (2472)     1386
[Pn.sub.19] (90)      6004750       378       2783 (2740)     1385
[Pn.sub.20] (100)     7652490       421       2943 (2900)     1385

(e)
[Q.sub.3]
Pn (N)                                          DHIP HM
[Fc.sup.opt]     T      V ([V.sub.int])    C

[Pn.sub.11] (10)       165180        9         801 (772)      1266
[Pn.sub.12] (20)       570715        31        971 (922)      1276
[Pn.sub.13] (30)       897015        67       1240 (1196)     1381
[Pn.sub.14] (40)      1571600       134       1504 (1460)     1381
[Pn.sub.15] (50)      2634620       198       1664 (1620)     1381
[Pn.sub.16] (60)      3000310       234       2032 (1988)     1381
[Pn.sub.17] (70)      4027740       287       2192 (2148)     1381
[Pn.sub.18] (80)      4916740       311       2456 (2412)     1381
[Pn.sub.19] (90)      5978220       318       2715 (2672)     1380
[Pn.sub.20] (100)     7475980       332       2875 (2832)     1380

[Fc.sup.opt]: the optimal value of Fc (objective function).

T: time for finding solution (in seconds).

* The feasible value of the objective function after the time T.

** Calculation was stopped after 600 s.

V ([V.sub.int]): the number of decision variables (integer
decision variables).
C: the number of constraints.

MILP: the implementation in the MP-based environment--MILP model.

MILP_T: the implementation in the declarative hybrid implementation
framework (DHIF) MILP model after transformation.

HM: implementation in the declarative hybrid implementation framework
(DHIF) model after transformation.

Table 9: Analysis of the impact parameter [V.sub.s] (distributor
maximum capacity) for [Fc.sup.opt].

V = [V.sub.1]   [Fc.sup.opt]   Distributor capacity utilization
= [V.sub.2]
= [V.sub.3]                    [mathematical    [mathematical
= [V.sub.4]                    expression not   expression not
reproducible]    reproducible]

500                 NFSF             --               --
600               1543390           550              598
700               1165630           664              700
800               1103310           510              760
1000               991305           200              860
1100               915015            0               975
1500               897015            0               925
2000               897015            0               925
2200               897015            0               925
2600               897015            0               925
3000               897015            0               925

V = [V.sub.1]   Distributor capacity utilization
= [V.sub.2]
= [V.sub.3]     [mathematical    [mathematical
= [V.sub.4]     expression not   expression not
reproducible]    reproducible]

500                   --               --
600                  600              297
700                  681               0
800                  775               0
1000                 985               0
1100                 1070              0
1500                 1120              0
2000                 1120              0
2200                 1120              0
2600                 1120              0
3000                 1120              0

NFSF: no feasible solution found.

Table 10: Analysis of the impact parameter [mathematical expression
not reproducible] (the number of transport units using mode of
transport e) for [F.sup.copt].

[mathematical    [Fc.sup.opt]   Number of transport units used
expression not
reproducible]                   [mathematical    [mathematical
expression not   expression not
reproducible]    reproducible]

10                   NFSF             --               --
15                 1010170            5                3
20                  963165            5                3
25                  927915            5                3
30                  897015            5                3
35                  897015            5                3

[mathematical    Number of transport units used
expression not
reproducible]    [mathematical    [mathematical
expression not   expression not
reproducible]    reproducible]

10                     --               --
15                     14               15
20                     12               20
25                     9                25
30                     7                29
35                     7                29

Table 11: The results of numerical examples for MILP_T with
hard (9T) and soft (2S) constraints.

[mathematical
expression not
[P.sub.i] (N)     e    reproducible]         V         C      T

Hard

1          2
[P.sub.1] (10)    2          2           846 (818)    1385    7
3          3
4          4
1          2
[P.sub.2] (20)    2          5          1015 (978)    1395   121
3          10
4          15
1          3
[P.sub.3] (30)    2          4          1292 (1250)   1400   --
3          10
4          15
1          3
[P.sub.4] (40)    2          10         1564 (1522)   1400   159
3          15
4          30

Soft [mathematical expression not reproducible]

1          2
[P.sub.1] (10)    2          2           851 (822)    1386    6
3          3
4          4
1          2
[P.sub.2] (20)    2          5          1020 (982)    1396   146
3          10
4          15
1          3
[P.sub.3] (30)    2          4          1297 (1254)   1401   510
3          10
4          15
1          3
[P.sub.4] (40)   2 3         10         1569 (1526)   1401   89
15
4          30

Soft [mathematical expression not reproducible]

[P.sub.1] (10)    1          2
2          2           851 (822)    1386    5
3          3
4          4
[P.sub.2] (20)    1          2
2          5          1020 (982)    1396   227
3          10
4          15
[P.sub.3] (30)    1          3
2          4          1297 (1254)   1401   203
3          10
4          15
[P.sub.4] (40)    1          3
2          10         1569 (1526)   1401   263
3          15
4          30

Soft [mathematical expression not reproducible]

[P.sub.1] (10)    1          2
2          2           851 (822)    1386    8
3          3
4          4
[P.sub.2] (20)    1          2
2          5          1020 (982)    1396   185
3          10
4          15
[P.sub.3] (30)    1          3
2          4          1297 (1254)   1401   383
3          10
4          15
[P.sub.4] (40)    1          3
2          10         1569 (1526)   1401   318
3          15
4          30

[mathematical
expression not
[P.sub.i] (N)     e    [Fc.sup.opt]   reproducible]

Hard

1                         1
[P.sub.1] (10)    2        619              1
3                         3
4                         4
1                         2
[P.sub.2] (20)    2        1584             5
3                         7
4                         15
1                         --
[P.sub.3] (30)    2        NFFS             --
3                         --
4                         --
1                         3
[P.sub.4] (40)    2        3675             10
3                         14
4                         30

Soft [mathematical expression not reproducible]

1                         1
[P.sub.1] (10)    2        603              1
3                         1
4                         8
1                         3
[P.sub.2] (20)    2        1568             3
3                         16
4                         17
1                         4
[P.sub.3] (30)    2        2461             5
3                         7
4                         29
1                         6
[P.sub.4] (40)    2        3599             4
3                         9
4                         40

Soft [mathematical expression not reproducible]

[P.sub.1] (10)    1                         1
2        619              1
3                         1
4                         8
[P.sub.2] (20)    1                         3
2        1580             3
3                         16
4                         17
[P.sub.3] (30)    1                         4
2        2560             4
3                         10
4                         23
[P.sub.4] (40)    1                         6
2        3651             4
3                         9
4                         40

Soft [mathematical expression not reproducible]

[P.sub.1] (10)    1                         1
2        619              1
3                         3
4                         4
[P.sub.2] (20)    1                         2
2        1584             5
3                         7
4                         15
[P.sub.3] (30)    1                         4
2        2616             4
3                         11
4                         21
[P.sub.4] (40)    1                         6
2        3668             4
3                         14
4                         30

e: mode of transport (e = 1 ... E).

[mathematical expression not reproducible] : number of transportation
units using transportation mode e.

[mathematical expression not reproducible]: number of used
transportation units using transportation mode e.

[mathematical expression not reproducible]: penalty coefficient.

Title Annotation: Printer friendly Cite/link Email Feedback Research Article Sitek, Pawel; Bzdyra, Krzysztof; Wikarek, Jaroslaw Mathematical Problems in Engineering Report 1USA Jan 1, 2016 9619 Alternative Trade-Offs in Data Envelopment Analysis: An Application to Hydropower Plants. Inventory Control by Multiple Service Levels under Unreliable Supplying Condition. Business logistics Logic programming Logistics Management science Mathematical optimization Optimization theory