Combining SAT solvers with heuristic ideas for solving RCPSP with logical constraints: An exploration of variable ordering heuristics impact on solving RCPSP-log

This paper provides a novel method of solving the resource-constrained project scheduling problem (RCPSP) with logical constraints (RCPSP-log) using satisfiability (SAT) solving and integrating variable selection heuristics. The extension provides two additional precedences: OR constraints and bidirectional (BI) relations, making it possible to...

Performance Evaluation of Vehicle Routing Heuristics

This thesis has researched the automation of performance evaluation of vehicle routing heuristics. The trade-off between solution quality, which is composed of multiple variables, and runtime make performance evaluation challenging. Therefore, it is often done by human experts. The research question of this thesis is: “How can we determine a...

Improving Dynamic Route Optimisation by making use of Historical Data

In thedynamic world we live in, the transportation of people and goods in a reliable,efficient and timely manner has grown to be more important than ever. Roads andcities are becoming more congested and the impact of greenhouse gasses canalready be observed. The need for controlling transportation systems, andspecifically fleets of vehicles,...

Annualised hours: Optimisation with heuristic algorithm

In this thesis, we analyse the optimisation of an annualised hours problem. Annualised hours problems are a widely studied subjects, in which the working hours for a given number of employees per week are minimised. We approach this problem with a mixed integer linear program, where the objective function of this problem is divided into two...

Heuristics for selecting and using behavioural design methods.

Design for behaviour change is a young and developing practice grounded in the belief that using insights from the behavioural sciences leads to more effective interventions for behaviour change. Although a wide range of tools, techniques and methods exist to support this, few are well introduced in terms of their underlying values or paradigm...

Complexity in valuation practice: an inquiry into valuers’ perceptions of task complexity in the Dutch real estate market

The aim of this paper is to examine valuer judgement behaviour, by exploring the manifestation of task complexity in Dutch commercial valuation practice. For this purpose, we adopted a grounded theory approach and undertook 18 in-depth interviews with senior valuation professionals across the Netherlands. Our findings indicate a strong...

Research bias in judgement bias studies: a systematic review of valuation judgement literature

Valuation judgement bias has been a research topic for several years due to its proclaimed effect on valuation accuracy. However, little is known on the emphasis of literature on judgement bias, with regard to, for instance, research methodologies, research context and robustness of research evidence. A synthesis of available research will...

Noise minimization on houses around airports

This thesis was a combined project of the CWI (the national research institute for mathematics and computer science in the Netherlands) and the NLR (National Aerospace Laboratory of the Netherlands). In this thesis we examine noise pollution around airports. Given an airport we will consider the problem maximizing the number of flights, while...

Forming a method mindset: The role of knowledge and preference in facilitating heuristic method usage in design

Both systematic and heuristic methods are common practice when designing. Yet, in teaching students how to design, heuristic methods are typically only granted a secondary role. So, how do designers and students develop a mindset for using heuristic methods? In this paper, we study how prior knowledge (about heuristic methods and their usage)...

Heuristics in dynamic scheduling: A practical framework with a case study in elevator dispatching

Dynamic scheduling problems are ubiquitous: traffic lights, elevators, planning of manufacturing plants, air traffic control, etc. Tasks have to be put on a timeline as smart as possible to reach certain goals. These goals may be related to production costs, the use of (scarce) resources, deadlines. These problems have often been regarded...

Minimally Unsatisfiable Subformulae

Minimal unsatis?ability is a topic in the ?eld of satis?ability (SAT). Minimally unsatis?able subformulae (MUSes) are minimal subsets of an unsatis?able formula that are unsatis?able. They can therefore be seen as causes of unsatis?ability. With recent improvements in SAT solving, extracting MUSes has also become faster. Lately increasingly more...

Knowledge based method for solving complexity in design problems

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