Skip to content

Twin-width I: tractable FO model checking.

douard Bonnet, Eun Jung Kim, Stphan Thomass, Rmi Watrigant

VenueA*FOCS
Year2020
ProceedingsFOCS

Browse the full FOCS paper archive.