Bruggen bouwen tussen computergesteunde grafentheorie en operationeel onderzoek KU Leuven
Veel grafentheorieproblemen kunnen worden opgelost door algoritmisch een grote zoekruimte te doorlopen. Het belangrijkste ingrediƫnt voor de meeste state-of-the-art computergesteunde grafentheorie (CG) aanpakken bestaat uit nauwgezet ontworpen algoritmes die alle grafen van een gegeven klasse kunnen genereren zonder redundante isomorfe kopieƫn. Het strategisch doel van dit onderzoeksvoorstel is om CG technieken uit te breiden en aan te vullen ...