Nieuwe procedures om combinatorische problemen op te lossen
Promotie Informatica
dinsdag 29 november 14.00 uur
Veel vraagstukken uit het dagelijks leven, de wetenschap en de industrie zijn voorbeelden van zogeheten combinatorische problemen, of combinatorische optimalisatieproblemen. Kenmerkend voor deze vraagstukken is dat een mogelijke oplossing bestaat uit een combinatie van verschillende keuzes die elkaar allemaal beïnvloeden, waardoor mensen al snel het overzicht verliezen. Het systematisch nagaan van alle mogelijke combinaties van keuzes door een computer kan dan uitkomst bieden, maar het aantal mogelijke combinaties is in het algemeen zo groot dat niet op voorhand duidelijk is of dit binnen redelijke tijd tot een oplossing leidt, en welke combinatie van technieken voor zoeken en automatisch redeneren hiervoor het best gebruikt kan worden. Peter Zoeteweij betoogt dat het gezien deze laatste vraag wenselijk is om procedures voor het oplossen van deze problemen (constraint solvers) samen te stellen uit een palet van beschikbare technieken. Met behulp van speciaal voor dit doel ontwikkelde software demonstreert hij dat dit bruikbare en efficiënte constraint solvers oplevert. Het onderzoek is uitgevoerd aan het Centrum voor Wiskunde en Informatica in Amsterdam.
P. Zoeteweij: Composing Constraint Solvers. Promotoren zijn prof. dr. K.R. Apt en prof. dr. F. Arbab (UL).
Meer informatie over de items in deze agenda kunt u krijgen bij de afdeling Persvoorlichting, tel. 020 - 525 2695, e-mail
Universiteit van Amsterdam