Doorgaan naar hoofdnavigatie Doorgaan naar zoeken Ga verder naar hoofdinhoud

Decomposition Methods for the Railway Timetabling Problem at NS using a SAT Solver

  • D.L. Hendriksen

Scriptie/Masterproef: Master

Datum prijs27 mrt 2023
Originele taalEngels
BegeleiderBart M.L. Smeulders (Afstudeerdocent 1), Annelieke Baller (Externe coach) & Pieter-Jan Fioole (Externe coach)

Citeer dit

'