Advances in Algorithmic Meta Theorems | Paper Citation Record

Observation 7bd8cf21-8f90-4c0d-a43e-2c9ef18ec56a · outbound

This paper cites Interpreting nowhere dense graph classes as a classical notion of model theory.

Advances in Algorithmic Meta Theorems Interpreting nowhere dense graph classes as a classical notion of model theory

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.912048Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59d8dac5-bbcc-4d3b-9ec2-f5f1c82d4208 · outbound

This paper cites Second-order quantiﬁ ers and the complexity of theories.

Advances in Algorithmic Meta Theorems Second-order quantiﬁ ers and the complexity of theories

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.917944Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67e721a3-1d73-42b8-9d6b-43f48dc44d3a · outbound

This paper cites On uniformity within NC1.

Advances in Algorithmic Meta Theorems On uniformity within NC1

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.923463Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a565da2-5ace-4711-8589-eed92f99b74f · outbound

This paper cites Expressive power of unary counters.

Advances in Algorithmic Meta Theorems Expressive power of unary counters

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.928576Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5767ae7c-0340-4d06-9292-6de3043ee713 · outbound

This paper cites Separator logic and star-free expressions for graphs.

Advances in Algorithmic Meta Theorems Separator logic and star-free expressions for graphs

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.935335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcb02260-4900-44c7-8a8c-917787a0d2f4 · outbound

This paper cites Twin-width VIII: delineation and Win- Wins.

Advances in Algorithmic Meta Theorems Twin-width VIII: delineation and Win- Wins

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.942234Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3f36d95-8e2b-429f-88d7-f7d84a5cb7fd · outbound

This paper cites Model checking on interpreta tions of classes of bounded local cliquewidth.

Advances in Algorithmic Meta Theorems Model checking on interpreta tions of classes of bounded local cliquewidth

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.948468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae9f42ce-3c45-4714-a4b5-9d17682c593e · outbound

This paper cites Twin-width II: small classes.

Advances in Algorithmic Meta Theorems Twin-width II: small classes

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.953674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation befab4c0-5604-4435-9fc8-f16de801979e · outbound

This paper cites Twin-width III: max independent set, min dominating set, and coloring.

Advances in Algorithmic Meta Theorems Twin-width III: max independent set, min dominating set, and coloring

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.959563Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 945cfdd8-5c0e-49a5-95c1-16ddb5bb5119 · outbound

This paper cites Twin-width IV: ordered graphs and matrices.

Advances in Algorithmic Meta Theorems Twin-width IV: ordered graphs and matrices

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.964933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3a3c195-1cf0-40df-b7f6-bc0d5e7c6ecc · outbound

This paper cites Twin- width V: linear minors, modular counting, and matrix multip lication.

Advances in Algorithmic Meta Theorems Twin- width V: linear minors, modular counting, and matrix multip lication

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.970390Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d7e1e42d-060b-4e03-8337-f611846be3cc · outbound

This paper cites Twin-width VI: the lens of contraction sequences.

Advances in Algorithmic Meta Theorems Twin-width VI: the lens of contraction sequences

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.975799Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e888ff9-8450-4f9e-a5f1-f5050b3ab1bd · outbound

This paper cites Twin-width and polynomial kernels.

Advances in Algorithmic Meta Theorems Twin-width and polynomial kernels

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.981458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f47ac7b5-870a-4df0-b7c8-826546172d9d · outbound

This paper cites Twin-width I: tractable FO model checking.

Advances in Algorithmic Meta Theorems Twin-width I: tractable FO model checking

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.987484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c584b021-7a4d-4ab7-b00c-8149c5ccafa4 · outbound

This paper cites Twin-width and permutations.Logical Methods in Computer Science , 20, 2024.

Advances in Algorithmic Meta Theorems Twin-width and permutations.Logical Methods in Computer Science , 20, 2024

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.992506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ef01dd40-bcd9-4f2b-8d5d-cd3fb7e61b86 · outbound

This paper cites Existential characterizations of monadic NIP.

Advances in Algorithmic Meta Theorems Existential characterizations of monadic NIP

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:18.997573Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1493ddbb-74dd-4a7a-bcc8-83d69eba982f · outbound

This paper cites Decomposition horizons and a characterization of stable hereditary classes of graphs.

Advances in Algorithmic Meta Theorems Decomposition horizons and a characterization of stable hereditary classes of graphs

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.009073Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a97be63-f0f4-4bc5-a781-fc39131fbf7c · outbound

This paper cites Structure and complexit y of relational queries.

Advances in Algorithmic Meta Theorems Structure and complexit y of relational queries

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.014244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e00c1b4f-0ec3-4984-aa98-30c2b56a88c1 · outbound

This paper cites Optimal implementa tion of conjunctive queries in relational data bases.

Advances in Algorithmic Meta Theorems Optimal implementa tion of conjunctive queries in relational data bases

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.019154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1d9751fe-45aa-4552-ae7a-ea2f1db73ae0 · outbound

This paper cites Stro ng computational lower bounds via parameterized complexity.

Advances in Algorithmic Meta Theorems Stro ng computational lower bounds via parameterized complexity

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.024439Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9505c41-9e7b-4ede-9e64-17605c485c99 · outbound

This paper cites Designing fpt algorithms for cut problems using randomized contractions.

Advances in Algorithmic Meta Theorems Designing fpt algorithms for cut problems using randomized contractions

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.029081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01e123c8-c5fb-4aa3-8850-2ea5309bc8c9 · outbound

This paper cites A relational model of data for large shared data banks.

Advances in Algorithmic Meta Theorems A relational model of data for large shared data banks

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.034045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5281a08c-61e3-4d65-b2bd-0daa75f194d4 · outbound

This paper cites A combinatorial theorem for trees: a pplications to monadic logic and in- ﬁnite structures.

Advances in Algorithmic Meta Theorems A combinatorial theorem for trees: a pplications to monadic logic and in- ﬁnite structures

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.039105Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0e47de6-c8bb-4ed1-b29a-55141fd96c88 · outbound

This paper cites Graph rewriting: An algebraic and log ic approach.

Advances in Algorithmic Meta Theorems Graph rewriting: An algebraic and log ic approach

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.044720Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79c46b91-790e-454a-98fa-01db920cbddb · outbound

This paper cites The monadic second-order logic of gra phs.

Advances in Algorithmic Meta Theorems The monadic second-order logic of gra phs

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.050301Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c203491-c5e0-43a8-9d97-aaa7b0473c05 · outbound

This paper cites The monadic second-order logic of gra phs VII: Graphs as relational struc- tures.

Advances in Algorithmic Meta Theorems The monadic second-order logic of gra phs VII: Graphs as relational struc- tures

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.058465Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3785df8-142e-464c-85bd-24a83867407c · outbound

This paper cites Lin ear time solvable optimization problems on graphs of bounded clique-width.

Advances in Algorithmic Meta Theorems Lin ear time solvable optimization problems on graphs of bounded clique-width

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.063919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d73c17ff-7504-41b7-97e4-c05effad1985 · outbound

This paper cites Upper bounds to the clique width of graphs.

Advances in Algorithmic Meta Theorems Upper bounds to the clique width of graphs

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.069631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ae85540-a16e-4709-b64f-f893376409f2 · outbound

This paper cites Vertex-minors, monad ic second-order logic, and a conjec- ture by Seese.

Advances in Algorithmic Meta Theorems Vertex-minors, monad ic second-order logic, and a conjec- ture by Seese

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.078107Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba79f984-69d3-4548-8a19-3ba0d22d3280 · outbound

This paper cites Springer, 2015.

Advances in Algorithmic Meta Theorems Springer, 2015

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.084086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb6f3e6e-90d6-4520-b561-63db0479e1ba · outbound

This paper cites Randomized contractions meet lean decompositions.

Advances in Algorithmic Meta Theorems Randomized contractions meet lean decompositions

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.089858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60062fa6-7109-4d9a-8d49-b1d5de6be53c · outbound

This paper cites Minimum bisection is ﬁxed parameter tractable.

Advances in Algorithmic Meta Theorems Minimum bisection is ﬁxed parameter tractable

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.095088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8caaa5de-e48e-4839-b4af-df1ead6bdec3 · outbound

This paper cites Minimum bisection is ﬁxed-parameter tractable.

Advances in Algorithmic Meta Theorems Minimum bisection is ﬁxed-parameter tractable

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.099812Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e5504a8-b97f-4938-8ee1-219eadb44981 · outbound

This paper cites Locall y excluding a minor.

Advances in Algorithmic Meta Theorems Locall y excluding a minor

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.105740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1432de1a-1098-49ad-bc04-e9f2e2758d62 · outbound

This paper cites Tree acceptors and some of their applicatio ns.

Advances in Algorithmic Meta Theorems Tree acceptors and some of their applicatio ns

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.110590Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1f94be0-ca79-4a9b-9541-a9aeb0aae923 · outbound

This paper cites Fixed-parameter tra ctability and completeness I: Basic results.

Advances in Algorithmic Meta Theorems Fixed-parameter tra ctability and completeness I: Basic results

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.116380Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cb154e9-2bd7-4df5-8ee4-78399d71579c · outbound

This paper cites Downey and Michael R.

Advances in Algorithmic Meta Theorems Downey and Michael R

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.121402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 833a5697-ac20-402f-b25f-5ca74de8f87a · outbound

This paper cites Fundamentals of parameterized complexity , volume 4.

Advances in Algorithmic Meta Theorems Fundamentals of parameterized complexity , volume 4

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.126589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be12b17f-2838-4fee-aa5a-da82c7d5e9cd · outbound

This paper cites Lacon-and shrub-decompositions: A new cha racterization of ﬁrst-order transduc- tions of bounded expansion classes.

Advances in Algorithmic Meta Theorems Lacon-and shrub-decompositions: A new cha racterization of ﬁrst-order transduc- tions of bounded expansion classes

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.131801Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 501a737d-e4cc-4241-b847-27765d575397 · outbound

This paper cites First-Order Model Checking on Monadically Stable Graph Classes.

Advances in Algorithmic Meta Theorems First-Order Model Checking on Monadically Stable Graph Classes

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.136947Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a4b78a2-7ced-4a83-b17b-2d6a444f33e1 · outbound

This paper cites Tree- like decompositions for transductions of sparse graphs.

Advances in Algorithmic Meta Theorems Tree- like decompositions for transductions of sparse graphs

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.146150Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94c08076-54a9-4aa5-ab05-a59e0ab0a947 · outbound

This paper cites Mouawad, Sebastian Siebertz, and Alexandre Vigny.

Advances in Algorithmic Meta Theorems Mouawad, Sebastian Siebertz, and Alexandre Vigny

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.152506Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a29422b-fbea-4577-9e6c-2991a2208915 · outbound

This paper cites First-order model checking on struc- turally sparse graph classes.

Advances in Algorithmic Meta Theorems First-order model checking on struc- turally sparse graph classes

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.157831Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ed272c8-a0cc-4e48-84a9-0b593ac589fd · outbound

This paper cites Indiscernibles and ﬂatness in monadically stable and monadically nip class es.

Advances in Algorithmic Meta Theorems Indiscernibles and ﬂatness in monadically stable and monadically nip class es

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.163780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3157d5e3-6f48-419d-b1de-971d4c1b0365 · outbound

This paper cites In Proceedings of the 56th Annual ACM Symposium on Theory of Computing , pages 1550–1560, 2024.

Advances in Algorithmic Meta Theorems In Proceedings of the 56th Annual ACM Symposium on Theory of Computing , pages 1550–1560, 2024

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.171375Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a05a1f51-4b43-4427-bf31-0df5fe45ad2e · outbound

This paper cites Deciding ﬁrst-order properties for sparse graphs.

Advances in Algorithmic Meta Theorems Deciding ﬁrst-order properties for sparse graphs

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.178393Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e0e91bdd-e62a-464a-9065-f9792c21d5ff · outbound

This paper cites Testing ﬁrst-order properties for subclasses of sparse graphs.

Advances in Algorithmic Meta Theorems Testing ﬁrst-order properties for subclasses of sparse graphs

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.185080Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f8a7b55-5259-4d63-9a0a-465f4343d425 · outbound

This paper cites Perspectives in Mathematical Logic.

Advances in Algorithmic Meta Theorems Perspectives in Mathematical Logic

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.190715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 473aa165-2e60-4de0-b2d4-6604ca66cc50 · outbound

This paper cites Mathematical logic (2.

Advances in Algorithmic Meta Theorems Mathematical logic (2

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-12T14:28:19.196251Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54001825-424c-4ca2-826d-1aa7d540bfef · outbound

This paper cites Model-checking on ordered structures.

Advances in Algorithmic Meta Theorems Model-checking on ordered structures

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.433335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 69fb07e2-8883-4fa5-9bbd-59a211339a5d · outbound

This paper cites Counting quantiﬁers, successor rela tions, and logarithmic space.

Advances in Algorithmic Meta Theorems Counting quantiﬁers, successor rela tions, and logarithmic space

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.416371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 8c19a86e-d8df-401d-976e-7ecfcf3dfdce · outbound

This paper cites Generalized ﬁrst-order spectra and poly nomial-time recognizable sets.

Advances in Algorithmic Meta Theorems Generalized ﬁrst-order spectra and poly nomial-time recognizable sets

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.398439Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7874c106-226d-47b6-bdf5-eebcd6a00ec8 · outbound

This paper cites Monadic generalized spectra.

Advances in Algorithmic Meta Theorems Monadic generalized spectra

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.378881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e932e797-90e7-47c3-a84a-0bc824724ad6 · outbound

This paper cites The ﬁrst order pro perties of products of algebraic systems.

Advances in Algorithmic Meta Theorems The ﬁrst order pro perties of products of algebraic systems

Reference 55

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.362013Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f73d3df0-612f-42a2-801e-76ed9b30181a · outbound

This paper cites Fixed-parameter tractability, deﬁnability, and model-checking.

Advances in Algorithmic Meta Theorems Fixed-parameter tractability, deﬁnability, and model-checking

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.344673Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5e45eabf-0c4d-4582-8476-01d5ba6f1b0c · outbound

This paper cites Texts in Theoretical Com- puter Science.

Advances in Algorithmic Meta Theorems Texts in Theoretical Com- puter Science

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.324023Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 091967bb-1f0f-4053-a62e-f1b0bf311a94 · outbound

This paper cites Compound logics for modiﬁcation problems.

Advances in Algorithmic Meta Theorems Compound logics for modiﬁcation problems

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.300883Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0ceeb5f5-1562-47b9-b884-bc9da479a5e9 · outbound

This paper cites An algo- rithmic meta-theorem for graph modiﬁcation to planarity an d fol.

Advances in Algorithmic Meta Theorems An algo- rithmic meta-theorem for graph modiﬁcation to planarity an d fol

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.283845Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c1e07ed1-9d94-4745-98df-04f8fa068c00 · outbound

This paper cites Deciding ﬁrst-order pro perties of locally tree-decomposable structures.

Advances in Algorithmic Meta Theorems Deciding ﬁrst-order pro perties of locally tree-decomposable structures

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.263760Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation bce21575-294e-4650-a9c3-40d068cbcd98 · outbound

This paper cites On local and non-local properties.

Advances in Algorithmic Meta Theorems On local and non-local properties

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.246424Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a1046d61-ec47-425e-ada3-5a121291e41a · outbound

This paper cites A new perspective on FO model checking of dense graph cla sses.

Advances in Algorithmic Meta Theorems A new perspective on FO model checking of dense graph cla sses

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.229806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d23754ad-561d-43df-aacd-3ba6e10f0616 · outbound

This paper cites Recovering sparse graphs.

Advances in Algorithmic Meta Theorems Recovering sparse graphs

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.212218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ca827329-d5f0-42c4-a9fd-247203bf5d1c · outbound

This paper cites First-order interpretations of bounded expansion classes.

Advances in Algorithmic Meta Theorems First-order interpretations of bounded expansion classes

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.194464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 6885a43c-a19c-4c45-a76d-58956f8c4223 · outbound

This paper cites Flip- per games for monadically stable graph classes.

Advances in Algorithmic Meta Theorems Flip- per games for monadically stable graph classes

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.177214Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f94ea303-cc56-448f-afa3-c77dddfe2d4e · outbound

This paper cites Twin- width and types.

Advances in Algorithmic Meta Theorems Twin- width and types

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.157782Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 25c6dce2-0c79-4355-9760-dc22d8268106 · outbound

This paper cites Stable graphs of bounded twin- width.

Advances in Algorithmic Meta Theorems Stable graphs of bounded twin- width

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.139430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2457928e-b911-42e2-a436-eac585c46aa9 · outbound

This paper cites Lower bounds on the complexity of MSO 1 model-checking.

Advances in Algorithmic Meta Theorems Lower bounds on the complexity of MSO 1 model-checking

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.121449Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 49756e0f-3818-48ab-8ae9-6fa49341dcc7 · outbound

This paper cites Shrub-depth: Capturing height of dense graphs.

Advances in Algorithmic Meta Theorems Shrub-depth: Capturing height of dense graphs

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.102835Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 127161c9-6fee-4733-8dd3-51889a3f9f06 · outbound

This paper cites When trees grow low: Shrubs and fast MSO1.

Advances in Algorithmic Meta Theorems When trees grow low: Shrubs and fast MSO1

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.083600Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation eaf49474-2f81-4242-9d7f-85be01e9c92e · outbound

This paper cites Order-invariant MSO is s tronger than counting MSO in the ﬁnite.

Advances in Algorithmic Meta Theorems Order-invariant MSO is s tronger than counting MSO in the ﬁnite

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.063532Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation cabefe13-05d2-40c6-8d5d-34d5dc8f0793 · outbound

This paper cites Twin-Width, logical and combinatorial characterisations.

Advances in Algorithmic Meta Theorems Twin-Width, logical and combinatorial characterisations

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.043895Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e00bf529-0e48-404d-9239-91dd23979784 · outbound

This paper cites Model-checking for ﬁrst-order logic with disjoint paths predicates in proper minor-close d graph classes.

Advances in Algorithmic Meta Theorems Model-checking for ﬁrst-order logic with disjoint paths predicates in proper minor-close d graph classes

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:21.012860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d5e1310a-d56b-4892-bb84-574168605044 · outbound

This paper cites Springer, 2007.

Advances in Algorithmic Meta Theorems Springer, 2007

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.985061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 06bf7f66-d771-4fd6-87c5-65fb359175b5 · outbound

This paper cites Discrepancy and sparsity.

Advances in Algorithmic Meta Theorems Discrepancy and sparsity

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.957302Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d859b581-8df5-4623-8e91-4639e7f4a01b · outbound

This paper cites Logic, graphs, and algorithms.

Advances in Algorithmic Meta Theorems Logic, graphs, and algorithms

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.929497Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 078434fc-9c22-45ff-b1c2-fff315fda092 · outbound

This paper cites Finding topolog- ical subgraphs is ﬁxed-parameter tractable.

Advances in Algorithmic Meta Theorems Finding topolog- ical subgraphs is ﬁxed-parameter tractable

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.885711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7c617f25-afbc-4c31-9028-f496b95671d2 · outbound

This paper cites Methods for algorit hmic meta theorems.

Advances in Algorithmic Meta Theorems Methods for algorit hmic meta theorems

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.847762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation da340fb3-aa10-4a91-b8f9-f19c82c328e2 · outbound

This paper cites Deciding ﬁrst-order properties of nowhere dense graphs.

Advances in Algorithmic Meta Theorems Deciding ﬁrst-order properties of nowhere dense graphs

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.823014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5ecd8cf4-4a12-4f83-9b1d-f8853cc4dab3 · outbound

This paper cites First-order quer y evaluation with cardinality condi- tions.

Advances in Algorithmic Meta Theorems First-order quer y evaluation with cardinality condi- tions

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.800579Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b38a4b31-9d3b-4e26-8816-327870d6291b · outbound

This paper cites Logic and the challenge of computer scie nce.

Advances in Algorithmic Meta Theorems Logic and the challenge of computer scie nce

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.777767Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 957b117e-ffbe-4b21-a63c-760d06e93c94 · outbound

This paper cites Model theory, volume 42 of Encyclopedia of mathematics and its applications.

Advances in Algorithmic Meta Theorems Model theory, volume 42 of Encyclopedia of mathematics and its applications

Reference 82

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.756128Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation bff8f9c5-6dbd-4b3e-8a85-7dfbef9d97a0 · outbound

This paper cites Upper and lower bounds for ﬁrst order exp ressibility.

Advances in Algorithmic Meta Theorems Upper and lower bounds for ﬁrst order exp ressibility

Reference 83

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.735794Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9a6427b1-f389-4b94-8a7f-0e81fb02218b · outbound

This paper cites Languages that capture complexity clas ses.

Advances in Algorithmic Meta Theorems Languages that capture complexity clas ses

Reference 84

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.712906Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 05d43882-3379-4e80-9820-d736032349c9 · outbound

This paper cites Descriptive complexity.

Advances in Algorithmic Meta Theorems Descriptive complexity

Reference 85

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.690045Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 04e199a5-bb42-495c-b5ce-42d054754aaf · outbound

This paper cites Regular partitions of gentle graphs.

Advances in Algorithmic Meta Theorems Regular partitions of gentle graphs

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.668605Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation beff9bab-6c77-41dd-88e4-e331886d68f3 · outbound

This paper cites The minimumk-way cut of bounded size is ﬁxed- parameter tractable.

Advances in Algorithmic Meta Theorems The minimumk-way cut of bounded size is ﬁxed- parameter tractable

Reference 87

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.648845Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2731eb50-c01b-4241-97c8-6c4df61bfd6d · outbound

This paper cites Algorithmic meta-theorems.

Advances in Algorithmic Meta Theorems Algorithmic meta-theorems

Reference 88

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.630615Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d3231600-4768-4c52-9282-84e14e287ad4 · outbound

This paper cites On the parameterized intractabilit y of monadic second-order logic.

Advances in Algorithmic Meta Theorems On the parameterized intractabilit y of monadic second-order logic

Reference 89

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.612736Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2cff5483-8b2b-46b0-9f8a-260e33b24840 · outbound

This paper cites Lower bounds for th e complexity of monadic second- order logic.

Advances in Algorithmic Meta Theorems Lower bounds for th e complexity of monadic second- order logic

Reference 90

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.593941Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ad9bf112-8f05-47ec-8178-b5a47fc07e27 · outbound

This paper cites On brambles, grid- like minors, and parameterized intractability of monadic second-order logic.

Advances in Algorithmic Meta Theorems On brambles, grid- like minors, and parameterized intractability of monadic second-order logic

Reference 91

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.570783Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 978f0668-90d0-4c0e-ae59-4389d2823df1 · outbound

This paper cites First-order logic with counting.

Advances in Algorithmic Meta Theorems First-order logic with counting

Reference 92

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.541201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation fb77c5dc-0a81-40f1-847e-3d54ec1065ea · outbound

This paper cites Gaifman normal forms for counting extensions of ﬁrst- order logic.

Advances in Algorithmic Meta Theorems Gaifman normal forms for counting extensions of ﬁrst- order logic

Reference 93

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.516151Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 441ef3d5-aed1-4e4a-8392-4055a33d5100 · outbound

This paper cites Elements of ﬁnite model theory , volume 41.

Advances in Algorithmic Meta Theorems Elements of ﬁnite model theory , volume 41

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.496464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation bbf4b5df-0eb9-4361-a2df-63d7b2e50fc0 · outbound

This paper cites Elements of Finite Model Theory.

Advances in Algorithmic Meta Theorems Elements of Finite Model Theory

Reference 95

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.477647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 9e41f4ab-13a1-430a-a333-a22ea383fab0 · outbound

This paper cites an unresolved cited work.

Advances in Algorithmic Meta Theorems Unresolved cited work

Reference 96

Resolution: unresolved; raw_fallback, observed 2026-08-12T14:28:20.457201Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 4171b6b9-f94f-4eb3-9c5a-a98c5c613de3 · outbound

This paper cites PhD thesis, Universit¨ at Bremen, 2024.

Advances in Algorithmic Meta Theorems PhD thesis, Universit¨ at Bremen, 2024

Reference 97

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.437921Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 742d9519-4fd4-49cd-8700-6a5da6a9cad5 · outbound

This paper cites Tree-width and the mona dic quantiﬁer hierarchy.

Advances in Algorithmic Meta Theorems Tree-width and the mona dic quantiﬁer hierarchy

Reference 98

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.419320Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 05b6bfb5-46ed-405f-85d6-72dc9fc40ce6 · outbound

This paper cites Regularity le mmas for stable graphs.

Advances in Algorithmic Meta Theorems Regularity le mmas for stable graphs

Reference 99

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.400571Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 86df8bd3-814e-441e-b959-981726515ab6 · outbound

This paper cites Structural sparsity.

Advances in Algorithmic Meta Theorems Structural sparsity

Reference 100

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.377930Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b49d2869-cf6d-4925-95f3-4ae9467da8ad · outbound

This paper cites On n owhere dense graphs.

Advances in Algorithmic Meta Theorems On n owhere dense graphs

Reference 101

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T14:28:20.349794Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers