Incrementally encoding cardinality and pseudo-boolean constraints in SAT

Satisfiability solvers have been shown to be a powerful tool for solving constraint problems. These problems often contain pseudo-boolean and cardinality constraints. These constraints can either be encoded into SAT or handled by extending the solver with special propagators. Which method will perform better is often not known in advance. It has...

EyeIDEA: Paving the Way Towards an Augmented Eye-Tracking IDE

Since their invention, the keyboard and mouse are the most used input devices that software developers use to interact with source code. However, these devices have their IDE interaction issues as developers need to spend a significant amount of time learning how to use them efficiently and effectively. To tackle some of these issues, we used an...

Teaching critical thinking through argument mapping

During this project we have created a product for the company FeedbackFruits to promote critical thinking in education. Research has shown that argument mapping is a promising method to promote critical thinking. Several existing related platforms were analyzed to draw lessons from their experience. Literature research revealed that product...

The Eagle

SeaState5 wants to facilitate the monitoring process for seabed cables of offshore wind farms. The company wants to achieve this by creating an unmanned vessel, named the Eagle, which can be analyzed from a remote location.<br/><br/>As students from TU Delft, we have been tasked to create a software framework that allows the Eagle to go to a...

Driven Liouville-von Neumann equation for time-dependent transport problems

Electronic devices are downsizing at a rapid pace and since the 1990s, single molecules have been studied as candidates for such devices. This thesis focusses on a new approach to simulate the electric current through these molecular devices. We followed the approach of Hod [17], which is based on the time propagation of the density matrix and...

Magnet.me IT Infrastructure Reorganization

The Bachelor Project assignment of internet startup Magnet.me, fulfilled by Tiddo Langerak and Alex Walterbos, consisted of the replacement of the IT infrastructure in the company. Before designing the new system, the old system was analyzed. Based on this analysis, a list of requirements was formed. The system has been designed so that it...