Abstract
In this paper we present a Benders decomposition approach for the Berth Allocation Problem (BAP). Benders decomposition is a cutting plane method that has been widely used for solving large-scale mixed integer linear optimization problems. On the other hand, the Berth Allocation Problem is a NP-hard and large-scale problem that has been gaining relevance both from the practical and scientific points of view. In this work we address the discrete and dynamic version of the problem, and develop a new decomposition approach and apply it to a reformulation of the BAP based on the Heterogeneous Vehicle Routing Problem with Time Windows (HVRPTW) model. In a discrete and dynamic BAP each berth can moor one vessel at a time, and the vessels are not all available to moor at the beginning of the planning horizon (there is an availability time window). Computational tests are run to compare the proposed Benders Decomposition with a state-of-the-art commercial solver. © 2019, Springer Nature Switzerland AG.

Abstract
Cutting phases occur in many production processes when a larger object must be cut into multiple smaller pieces. Some examples of relevant industries being clothing, footwear, metalware and furniture. The cutting phase is composed of two stages. The first stage consists of finding a good layout for the set of small pieces that must be cut from the larger object and minimizing some objective such as raw-material waste (The Cutting and Packing Problem). Once this good layout has been established, it is provided as input for the second stage which consists of determining the path to cut the pieces which minimizes another objective, such as the total cutting time or distance (The Cutting Path Determination Problem). This second stage is crucial for efficient production planning. Only one linear mathematical model has previously been proposed for the Cutting Path Determination Problem. In this paper, this problem is addressed using two exact approaches based on the Rural Postman Problem (RPP) and the Traveling Salesman Problem (TSP). The RPP approach, in particular, is able to produce optimal solutions for instances containing more than 2000 edges in under 1 h.

Abstract
The beginning of the 21st century brought a new Industrial Revolution - the 4th Industrial Revolution which assumes that each physical object is equipped with an integrated technology that allows its connection with other objects. Therefore, Cyber-Physical Systems (CPSs) are becoming essential elements to be implemented in the companies' workspace in order to improve their production efficiency and flexibility by bringing digitalisation to the production processes. The implementation of these CPSs creates several changes for companies' operations that are expected to have a deep impact in human workers. A lack of studies on the social impact of the use of CPSs has been identified and, through a comprehensive literature review, this work aims at contributing for this discussion by defining a questionnaire about the topic. In the future, this questionnaire is intended to be sent to companies to collect data from their C-level managers about the use of CPSs applied to manufacturing.

Abstract
Tactical Sales and Operations Planning (S&OP) has emerged as an extension of the aggregate production planning, integrating mid-term decisions from procurement, production, distribution, and sales in a single plan. Despite the growing interest in the subject, past synthesizing research has focused more on the qualitative and procedural aspects of the topic rather than on modeling approaches to the problem. This paper conducts a review of the existing decision-making, i.e., optimization, models supporting S&OP. A holistic framework comprising the decisions involved in this planning activity is presented. The reviewed literature is arranged within the framework and grouped around different streams of literature which have been extending the aggregate production planning. Afterwards, the papers are classified according to the modeling approaches employed by past researchers. Finally, based on the characterization of the level of integration of different business functions provided by existing models, the review demonstrates that there are no synthesizing models characterizing the overall S&OP problem and that, even in the more comprehensive approaches, there is potential to include additional decisions that would be the basis for more sophisticated and proactive S&OP programs. We do expect this paper contributes to set the ground for more oriented and structured research in the field.

Abstract
Irregular packing problems (also known as nesting problems) belong to the more general class of cutting and packing problems and consist of allocating a set of irregular and regular pieces to larger rectangular or irregular containers, while minimizing the waste of material or space. These problems combine the combinatorial hardness of cutting and packing problems with the computational difficulty of enforcing the geometric non-overlap and containment constraints. Unsurprisingly, nesting problems have been addressed, both in the scientific literature and in real-world applications, by means of heuristic and metaheuristic techniques. However, more recently a variety of mathematical models has been proposed for nesting problems. These models can be used either to provide optimal solutions for nesting problems or as the basis of heuristic approaches based on them (e.g. matheuristics). In both cases, better solutions are sought, with the natural economic and environmental positive impact. Different modeling options are proposed in the literature. We review these mathematical models under a common notation framework, allowing differences and similarities among them to be highlighted. Some insights on weaknesses and strengths are also provided. By building this structured review of mathematical models for nesting problems, research opportunities in the field are proposed.

Abstract
The two-dimensional level strip packing problem has received little attention from the scientific community. To the best of our knowledge, the most competitive model is the one proposed in 2004 by Lodi et al., where the items are packed by levels. In 2015, an arc flow model addressing the two-dimensional level strip cutting problem was proposed by Mrad. The literature presents some mathematical models, despite not addressing specifically the two-dimensional level strip packing problem, they are efficient and can be adapted to the problem. In this paper, we adapt two mixed integer linear programming models from the literature, rewrite the Mrad's model for the strip packing problem and add well-known valid inequalities to the model proposed by Lodi et al. Computational results were performed on instances from the literature and show that the model put forward by Lodi et al. with valid inequalities outperforms the remaining models with respect to the number of optimal solutions found.