Jan Obdrzalek (Masaryk University)/ Lower Bounds on the Complexity of MSO1 Model-Checking

Mathnet Korea is already on Lumen as a whole teaching channel; earlier rounds capped how many uploads were taken. Title passed a strict per-title check and a final strict pass; oEmbed verified.

A 23-minute video from Mathnet Korea: “Jan Obdrzalek (Masaryk University)/ Lower Bounds on the Complexity of MSO1 Model-Checking”.

Video by Mathnet Korea, played through YouTube's embedded player.