Twin-width I

Édouard Bonnet, E. J. K., Thomassé, S., & Watrigant, R. (2022). Twin-width I: Tractable FO model checking. ACM.

Type

Unclassified

Intellectual base

Unclassified

Year

2022

DOI

10.1145/3486655

Link

https://doi.org/10.1145/3486655

Cited by

1 citation across 1 artifact.

Domain-specific

• Clique-width
  • A k-expression builds a labeled graph using four operations; clique-width is the least k for which some expression yields the graph after labels are forgotten.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:0f0b70b2f6c1 · see in the full table