%0 Journal Article %1 journals/jacm/BonnetKTW22 %A Bonnet, Édouard %A Kim, Eun Jung %A Thomassé, Stéphan %A Watrigant, Rémi %D 2022 %J J. ACM %K dblp %N 1 %P 3:1-3:46 %T Twin-width I: Tractable FO Model Checking. %U http://dblp.uni-trier.de/db/journals/jacm/jacm69.html#BonnetKTW22 %V 69

@article{journals/jacm/BonnetKTW22, added-at = {2022-03-15T00:00:00.000+0100}, author = {Bonnet, Édouard and Kim, Eun Jung and Thomassé, Stéphan and Watrigant, Rémi}, biburl = {https://www.bibsonomy.org/bibtex/2060c55d52f8586edbe435fe7ef18ba3f/dblp}, ee = {https://doi.org/10.1145/3486655}, interhash = {c24909628b46cc04e811d464636b6278}, intrahash = {060c55d52f8586edbe435fe7ef18ba3f}, journal = {J. ACM}, keywords = {dblp}, number = 1, pages = {3:1-3:46}, timestamp = {2024-04-08T20:01:40.000+0200}, title = {Twin-width I: Tractable FO Model Checking.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm69.html#BonnetKTW22}, volume = 69, year = 2022 }