Eun Jung Kim (김은정), Twin-width: tractable FO model checking
Room B232 IBS (기초과학연구원)Inspired by a width invariant defined on permutations by Guillemot and Marx , we introduce the notion of twin-width on graphs and on matrices. Proper minor-closed classes, bounded rank-width graphs, map …