Twin-width. I: Tractable FO model checking

DOI10.1109/FOCS46700.2020.00062MaRDI QIDQ6943994zbMATH OpenFDO

Authors Stéphan Thomassé, Rémi Watrigant, Édouard Bonnet, Eun Jung Kim

Publication date 12 August 2025

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

This page was built for publication: Twin-width. I: Tractable FO model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6943994)