Skip to main navigation Skip to search Skip to main content

Width-Based Dynamic Programming for Automated Theorem Proving in Graph Theory

Activity: External examination and supervision › External examination

Description

I served as an external PhD examiner of Sam Urmian at the University of Bergen.
Period24 Aug 2026
ExamineeSam Urmian
Degree of RecognitionInternational