Searched for: subject%3A%22constraint%255C%2Bprogramming%22
(1 - 17 of 17)
document
Zoumis, Angelos (author)
<br/>Constraint programming solvers provide a generalizable approach to finding solutions for optimization problems. However, when comparing the performance of constraint programming solvers to the performance of a heuristic solver for an optimization problem such as cluster editing, the heuristic solver is able to find near-optimal and optimal...
master thesis 2023
document
Gribnau, Mees (author)
A shunting yard is used to store trains between arrival and departure. A conflict arises in a shunting yard when one train obstructs another from leaving. Resolving a conflict is done by re-allocating the trains obstructing the departing train to other tracks in the shunting yard. However, these re-allocations complicate the problem at hand and...
bachelor thesis 2023
document
Denkers, J. (author), Brunner, Marvin (author), van Gool, Louis (author), Vinju, Jurgen J. (author), Zaidman, A.E. (author), Visser, Eelco (author)
Flexible printing systems are highly complex systems that consist of printers, that print individual sheets of paper, and finishing equipment, that processes sheets after printing, for example, assembling a book. Integrating finishing equipment with printers involves the development of control software that configures the devices, taking...
journal article 2023
document
van Walraven, Bram (author)
Digital printing systems allow for the production of a large variety of different products. Making production plans for all these different products is challenging. One of the challenging aspects of making these production plans is choosing the right sequence of machines, to produce the desired intent. This is challenging due to three aspects:...
master thesis 2022
document
Morssink, Wouter (author)
Designing golf course routings is a challenging problem as a golf course should obey the golf course regulation, be safe to play by having enough room between the holes and be diverse and challenging to the golf players. A potential exact solution can come in the form of a constraint programming model, in which solvers take care of the...
master thesis 2022
document
van Bokkem, Dirk (author)
The increasing global food demand, accompanied by the decreasing number of expert growers, brings the need for more sustainable and efficient solutions in horticulture. Consultancy company Delphy aims to face this challenge by taking a more data-driven approach, by means of autonomous growing inside the greenhouse. The controlled environment of...
master thesis 2022
document
van der Steeg, Jaap Jan (author), Oudshoorn, Menno (author), Yorke-Smith, N. (author)
With the increasing volume of container freight transport, future port planning is crucial. Simulation models provide a means to gain insight in the effects of terminal expansions. Detailed simulations incorporate berth allocation: assigning vessels a time and location at the quay wall, where the vessel is loaded and unloaded. This article...
journal article 2022
document
Andringa, S.P.E. (author), Yorke-Smith, N. (author)
Simulation–optimization is often used in enterprise decision-making processes, both operational and tactical. This paper shows how an intuitive mapping from descriptive problem to optimization model can be realized with Constraint Programming (CP). It shows how a CP model can be constructed given a simulation model and a set of business goals...
conference paper 2022
document
Andringa, Sytze (author)
Enterprise Modelling (EM) is the process of producing models, which in turn can be used to support understanding, analysis, (re)design, reasoning, control and learning about various aspects of an enterprise. Various EM techniques and languages exist, and are often supported by computational tools, in particular simulation. The goal of this...
master thesis 2021
document
Teitsma, Jacco (author)
The maritime inventory routing problem (MIRP) is a tactical and operational planning problem, that takes an integrated view on ship scheduling and inventory management for bulk products. Given production and consumption levels during a predetermined planning horizon, the problem aims at finding delivery schedules with minimal travel costs, such...
master thesis 2020
document
Doolaard, F.P. (author)
Constraint programming is a paradigm for solving combinatorial problems by checking whether constraints are satisfied in a constraint satisfaction problem or by optimizing an objective in a constraint optimization problem. To find solutions, the solver needs to find a variable and value ordering. Numerous heuristics designed by human experts...
master thesis 2020
document
van Driel, R.A. (author)
Solving propositional satisfiability (SAT) and constraint programming (CP) instances has been a fundamental part of a wide range of modern applications. For this reason a lot of research went into improving the efficiency of modern SAT and CP solvers. Recently much of this research has gone into exploring the possibilities of integrating machine...
master thesis 2020
document
van der Steeg, J.J. (author)
With the increasing amount of container freight transport and the increasing size of container vessels, for the Port of Antwerp, the second largest container port in Europe, a critical task is port planning. A simulation model provides the means to gain proper insight in the effect of future expansions. Macomi, a company specialized in...
master thesis 2020
document
van Adrichem, Wouter (author)
A ship lock scheduling model called LOSCO was developed in order to decrease passage times at locks with two parallel chambers. Three locks were chosen to model, as they are some of the busiest locks of the Netherlands. The Krammersluizen, the Sluizen Hansweert and the Kreekraksluizen. Passage times are not collected at the locks, therefore the...
master thesis 2020
document
Wallace, Mark (author), Yorke-Smith, N. (author)
The cyclic hoist scheduling problem (CHSP) is a well-studied optimisation problem due to its importance in industry. Despite the wide range of solving techniques applied to the CHSP and its variants, the models have remained complicated and inflexible, or have failed to scale up with larger problem instances. This article re-examines...
journal article 2020
document
Pelsmaeker, D.A.A. (author), van Antwerpen, H. (author), Visser, Eelco (author)
New programming languages often lack good IDE support, as developing advanced semantic editor services takes additional effort. In previous work we discussed the operational requirements of a constraint solver that leverages the declarative type system specification of a language to provide language-parametric semantic editor services. In...
conference paper 2019
document
Vermeulen, B. (author)
The process of design aircraft systems is becoming more and more complex, due to an increasing amount of requirements. Moreover, the knowledge on how to solve these complex design problems becomes less readily available, because of a decrease in availability of intellectual resources and reduced knowledge transfer opportunities. Aerospace...
doctoral thesis 2007
Searched for: subject%3A%22constraint%255C%2Bprogramming%22
(1 - 17 of 17)