{"as_of":"2026-08-14T14:34:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:33eab3eabe42ab1a7b0d2554904a44e3b86c4748d9699bace725efe92513e05e","coverage":[{"denominator":250,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T14:51:45.932929Z","state":"measured"},{"denominator":105,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":105,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T04:30:39.720644Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-06-29T12:13:27.509917Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.20825","snapshot_observed_at":"2026-08-03T23:11:11.052672Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.07247","last_updated":"2026-07-22T06:57:21Z","snapshot_observed_at":"2026-08-13T11:14:27.900794Z","submitted_at":"2025-11-10T16:00:38Z","title":"New small regular graphs of given girth: the cage problem and beyond","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-03T23:11:11.052672Z"},"links":{"cited_paper":"/paper/2508.20825","citing_paper":"/paper/2511.07247"},"observation_digest":"sha256:d5ab09ce67cb39a9c03bc0ed18c4a328b84f804b19612af50809f0323e4931c0","observation_id":"9b2478c9-9cbd-438d-b545-511f43dcb56a","resolution":{"observed_at":"2026-08-03T23:11:11.052672Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"cited_work":{"arxiv_id":"2508.20825","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.20825","snapshot_observed_at":"2026-06-29T12:13:27.509917Z","title":null,"venue":null,"work_id":"3d051dd7-3948-468f-af1c-0f74973fac6e","year":2025},"citing_paper":{"arxiv_id":"2604.21486","last_updated":"2026-04-23T09:48:29Z","snapshot_observed_at":"2026-08-10T14:06:26.609154Z","submitted_at":"2026-04-23T09:48:29Z","title":"A non-existence result for vertex-girth-regular graphs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-09T22:03:25.856443Z"},"links":{"cited_paper":"/paper/2508.20825","citing_paper":"/paper/2604.21486"},"observation_digest":"sha256:c32b9cfba96cdf651ae953b180bf29ee32d3f725defd81715a788e7583e051a1","observation_id":"671bacaf-32f4-45bf-9244-4deab4f7f31e","resolution":{"observed_at":"2026-05-11T14:21:04.722981Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"cited_work":{"arxiv_id":"2508.20825","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.20825","snapshot_observed_at":"2026-06-29T12:13:27.509917Z","title":null,"venue":null,"work_id":"3d051dd7-3948-468f-af1c-0f74973fac6e","year":2025},"citing_paper":{"arxiv_id":"2605.28537","last_updated":"2026-05-27T14:32:10Z","snapshot_observed_at":"2026-08-08T09:07:34.988041Z","submitted_at":"2026-05-27T14:32:10Z","title":"Vertex-critical $(P_5,\\text{chair})$-free and $(P_5,\\text{cricket})$-free graphs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-29T11:35:37.161416Z"},"links":{"cited_paper":"/paper/2508.20825","citing_paper":"/paper/2605.28537"},"observation_digest":"sha256:89a3be0af09c75cdc057cdaeea3671844c944d7aabc4b4c289f30a21fb4f2422","observation_id":"28eab5fa-f8f0-4bce-b0f4-c058801b6b1f","resolution":{"observed_at":"2026-06-29T12:13:27.511427Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.20825","snapshot_observed_at":"2026-08-12T00:28:52.410559Z","title":"Computer-assisted graph theory: a survey","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.08118","last_updated":"2026-08-08T13:07:51Z","snapshot_observed_at":"2026-08-14T08:58:48.593546Z","submitted_at":"2026-08-08T13:07:51Z","title":"Neurosymbolic Discovery of Algebraic Graph Constructions","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-12T00:28:52.410559Z"},"links":{"cited_paper":"/paper/2508.20825","citing_paper":"/paper/2608.08118"},"observation_digest":"sha256:16201f83d72da911952e8e486552badd20f58a30cd5690528d3d4e919c3fd34d","observation_id":"6f78ad0d-8b61-4b6e-855f-efac70758052","resolution":{"observed_at":"2026-08-12T00:28:52.410559Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.20825","snapshot_observed_at":"2026-08-14T04:30:39.720644Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.10028","last_updated":"2026-08-09T20:07:05Z","snapshot_observed_at":"2026-08-14T14:11:25.609127Z","submitted_at":"2026-08-09T20:07:05Z","title":"A human-checkable proof of the 112-vertex counterexample to the Petersen coloring conjecture","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T04:30:39.720644Z"},"links":{"cited_paper":"/paper/2508.20825","citing_paper":"/paper/2608.10028"},"observation_digest":"sha256:8c9f3b42b8341a7d20e06526bd6bbaf5f5e0d210d3ae80d242e5c50884e9d807","observation_id":"fac9311a-5701-4068-b415-a69d14e5fa7f","resolution":{"observed_at":"2026-08-14T04:30:39.720644Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2508.20825/citation-record","integrity":"/paper/2508.20825/integrity","json":"/paper/2508.20825/citation-record.json","paper":"/paper/2508.20825"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.532045Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.532045Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:4ab906febc28032e7e8524eb1f77baf39a2507f46b770d2ff82968135ba7e5ba","observation_id":"77a0a08d-4e01-4676-a892-7056f1ebe54c","resolution":{"observed_at":"2026-08-05T14:51:45.532045Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.537044Z","title":null,"venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.537044Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:adcfc2c2f123f0b6683cf3c48b3a3fa36e68f442f15bf19219e3461eb31a00a7","observation_id":"298709b2-6517-46d6-a744-ca0ff65010e5","resolution":{"observed_at":"2026-08-05T14:51:45.537044Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.541084Z","title":"Althöfer, J","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.541084Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:53ebff68c1368a7d5ea095314edd1dc5135f84654ffb46e0d45beee5933dd49c","observation_id":"22f3061e-1831-4963-932c-1380d4042e24","resolution":{"observed_at":"2026-08-05T14:51:45.541084Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.545704Z","title":"Anders and P","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.545704Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:32dfdf2838c5a354c90ba30b759b8dff9f80f95552b977736f0ee1fdafc9b149","observation_id":"f57ce701-5740-4fc0-9bb0-fd7a1a3c91cc","resolution":{"observed_at":"2026-08-05T14:51:45.545704Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.550391Z","title":"Anders and P","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.550391Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:0f2fd3803df4e48adbba074cb6c0baab99a01111459b1f79468809e66b6040ff","observation_id":"0e304b12-b587-4846-8e94-97b649ed026b","resolution":{"observed_at":"2026-08-05T14:51:45.550391Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.554375Z","title":"Anders and P","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.554375Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:b9524df8472bcff9758812e19cbf8a2fb2e6e0b7d52d3b778f853c6e064cbf02","observation_id":"068e5904-c7b9-4448-992d-d998ec5f1643","resolution":{"observed_at":"2026-08-05T14:51:45.554375Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.15709","last_updated":"2025-09-01T12:08:48Z","snapshot_observed_at":"2026-08-12T22:39:01.774047Z","submitted_at":"2024-09-24T03:55:26Z","title":"$R(5,5)\\le 46$","version":2},"cited_work":{"arxiv_id":"2409.15709","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.15709","snapshot_observed_at":"2026-08-05T14:51:46.675236Z","title":"$R(5,5)\\le 46$","venue":"math.CO","work_id":"43d25d77-4e19-4924-8cb0-81f6684316e7","year":2024},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.559249Z"},"links":{"cited_paper":"/paper/2409.15709","citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:3209a07022cbdbde1ece51a690374e61c3eeda9da9adf25dfd6dffe6fa514191","observation_id":"0ec2a86a-15d6-4c0e-ac9e-0f31c3a3cb87","resolution":{"observed_at":"2026-08-05T14:51:46.679285Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.563464Z","title":"Aouchiche, F","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.563464Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:91d429d08a33e0e9e92500e9e256f37d281a7e58081489def31d6d179840212a","observation_id":"3a804347-f7c5-404c-a7fc-b46fcc3903ab","resolution":{"observed_at":"2026-08-05T14:51:45.563464Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.567092Z","title":"Aouchiche, J.-M","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.567092Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:8f009b8f7a73182aebc60f58177509698245710b7ed5328dd2f00f95c648081d","observation_id":"33eea30c-6f82-404b-b5af-78b8e7b20044","resolution":{"observed_at":"2026-08-05T14:51:45.567092Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.570874Z","title":"Aouchiche and P","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.570874Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:64cfa3ffec4fcaf2210352b0a0b7a605f1ff53cfaf7dea971444db8195e6421d","observation_id":"dd7fd102-2476-41e3-9965-fb90314e7be4","resolution":{"observed_at":"2026-08-05T14:51:45.570874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.574563Z","title":"Appel and W","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.574563Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:001391343c00cfbde18d1f6d1e8863072b1d86773c444b45a5dabcc9fd782f7a","observation_id":"b4c6c303-4118-4bcd-aa09-e1f6427902dd","resolution":{"observed_at":"2026-08-05T14:51:45.574563Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.578126Z","title":"Appel and W","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.578126Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:aac944b6d3b9f7cbbea4d374aa02c0cf65fa15cd9422e020204ecfa7a782b7f0","observation_id":"4d38c46d-0af4-45f5-9b49-6956c6d186e0","resolution":{"observed_at":"2026-08-05T14:51:45.578126Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.581609Z","title":"Appel, W","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.581609Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:72ba47b6fbc8e806b1da2b1060b2ba5ec75298642e656760e7d7a1e6a941124d","observation_id":"c031dc7a-8992-4433-99dd-f053d73ff6d5","resolution":{"observed_at":"2026-08-05T14:51:45.581609Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.584936Z","title":"Babai, D","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.584936Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:a2776fda14fdec7053c37465f6e6ca4a29f17006fa2a03e49197fb664ac23676","observation_id":"786777cf-9b22-4eac-999f-bcbd7dfe8991","resolution":{"observed_at":"2026-08-05T14:51:45.584936Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.589279Z","title":"Balogh, P","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.589279Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:0e6c0786da217718c8a5e4c64fee40ad2161c9c29b0d3e267519d888c982ab78","observation_id":"3dfae593-dcc3-40c5-bdc3-68126c1b6b73","resolution":{"observed_at":"2026-08-05T14:51:45.589279Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.593732Z","title":"Bar-Noy, T","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.593732Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:682f93c17904252f6f795b9cd15065207649588fa2d19978879d007d7a1cf796","observation_id":"393f964a-089c-4df9-8a25-4857f7a0e253","resolution":{"observed_at":"2026-08-05T14:51:45.593732Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.596987Z","title":"Barabási","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.596987Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:1b63f6efc30e4b7ff714ccec5693a61cba027a13bd87b6bcdf2d9f03de25cd46","observation_id":"26788866-9323-44ab-9a34-1d0798fa6635","resolution":{"observed_at":"2026-08-05T14:51:45.596987Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.601545Z","title":"Belhaiza, N","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.601545Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:e6ac684285d1ac70180784f7452be2671e867c707a60f9493cb37b459aff7fb2","observation_id":"02d01428-7d73-4b6a-9945-eac79cef93e5","resolution":{"observed_at":"2026-08-05T14:51:45.601545Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.605027Z","title":null,"venue":null,"work_id":null,"year":1954},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.605027Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:17f156ca9e43dccbf3024d0c63a7ec040d625c578587dc2f0c7b6c13020cd287","observation_id":"65c43719-bc88-4d3d-b220-fbe5efc2d788","resolution":{"observed_at":"2026-08-05T14:51:45.605027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.608657Z","title":"Berčič and J","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.608657Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:0f0b9d07954bd60ce88fdecb7999415f74716989ac9cbd37feb082ee75875f42","observation_id":"bcc9b8b3-1b00-4e4b-8985-bdd81d5fa244","resolution":{"observed_at":"2026-08-05T14:51:45.608657Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.612409Z","title":"Bertsimas and J","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.612409Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:9afa28423615038f8eeb960bc3eb29dc3d0b77836d7a028fbfd85c275c531bf1","observation_id":"ff704b85-7f08-4466-b6cf-acdbd5a3ad5e","resolution":{"observed_at":"2026-08-05T14:51:45.612409Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.616200Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.616200Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:9dcb19a03f5b1010e1bc717f09771fb7ebffb41a3f9842b2fa3f43f4d72f1270","observation_id":"af75e207-8d6a-45eb-a9c0-4b5dd5e01cfb","resolution":{"observed_at":"2026-08-05T14:51:45.616200Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.620025Z","title":"Biere, K","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.620025Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:464eef4d5020f4b893db55eafa5e47d7fedbe43c1bcb0de35b177cb3e70c0ed8","observation_id":"15310343-a9cd-4cfe-9718-32d0ca90d087","resolution":{"observed_at":"2026-08-05T14:51:45.620025Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.623779Z","title":"Birkinshaw, P","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.623779Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:3d7ddcff8f9b04e2759c7e81626666ea9c34c8974aa74463b80a88cd4ef93c3e","observation_id":"e09a52a4-5848-4f9d-9a2e-00dc09772cec","resolution":{"observed_at":"2026-08-05T14:51:45.623779Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.627738Z","title":null,"venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.627738Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:07016b34109444b1e6372210884a68ef3e2ed2e64c8792aff89dd0b8991d4a1a","observation_id":"282919c5-c18f-440d-b78a-e0f1c386b75a","resolution":{"observed_at":"2026-08-05T14:51:45.627738Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.631663Z","title":null,"venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.631663Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:8a00f30ecf66cd29917b700d749fadb3ae351872db52f1550795849d73093ab4","observation_id":"d2fb6b98-46a5-44b5-aff9-f93d4cd0a7a9","resolution":{"observed_at":"2026-08-05T14:51:45.631663Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.635330Z","title":"Bousquet, Q","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.635330Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:49bc755e0b40e5f7bf0e041ef31911dc12a0fe48f58ecdf04e445291679e3e63","observation_id":"7b81a0cb-f0d3-4b04-973e-720e3816830a","resolution":{"observed_at":"2026-08-05T14:51:45.635330Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.639830Z","title":"Brakensiek, M","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.639830Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:8e8db9c1285153b8fe6c37ffb89e101cf9ea0e44e7c64ee62cead4916300ad05","observation_id":"ec931f25-9973-4793-bed2-87df7d2db601","resolution":{"observed_at":"2026-08-05T14:51:45.639830Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.643607Z","title":"Brandt, G","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.643607Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:434b3fae9a1e80952bc772651c83dc3c45d59c964aa6391431b8ecdc39a9773e","observation_id":"e315869f-b6bc-43b1-a328-cc452590d1b3","resolution":{"observed_at":"2026-08-05T14:51:45.643607Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.647994Z","title":"Brandt, G","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.647994Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:c2bb4e9a036bbfde4512f4757dd3fb95e64d7d6b1a6cf45bfbb644a9fc32fdd3","observation_id":"c0daf54a-6218-4ef9-8684-0b239af92145","resolution":{"observed_at":"2026-08-05T14:51:45.647994Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.651683Z","title":"Brinkmann","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.651683Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:87f68e46c0e8383c1605d2d437521a1b642150944ecfe8db988d7506ae61b51c","observation_id":"49bad02d-403b-4029-b5af-21917ba18510","resolution":{"observed_at":"2026-08-05T14:51:45.651683Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.655340Z","title":"Brinkmann","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.655340Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:088543064be9704418aaa82bf8ea0b6bcb3df229757ac567193e3761ae973dc8","observation_id":"4996708c-17c6-4cba-a6c7-8337c2e7803f","resolution":{"observed_at":"2026-08-05T14:51:45.655340Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.659310Z","title":"Brinkmann","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.659310Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:c0317e2f423b5814f1a6462f367a591ad2382fa57abcd5642d10a4ca5b691057","observation_id":"1dc3c242-7127-4fc0-b1c1-ab21d551239f","resolution":{"observed_at":"2026-08-05T14:51:45.659310Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.663484Z","title":"Brinkmann, K","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.663484Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:6863940a8d7b8c38da10b04f4d2bfc4798b7c9174ec172cfd15dde1b850f1aaa","observation_id":"57466486-e817-43d2-aec1-fbf9af555be0","resolution":{"observed_at":"2026-08-05T14:51:45.663484Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.667414Z","title":"Brinkmann and A","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.667414Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:6fa275e53b8c46b24092574d4cf7b6612839b4d55acc4055f3f68b3436ded553","observation_id":"8bc1e05f-102b-4f93-a792-171d63bfc576","resolution":{"observed_at":"2026-08-05T14:51:45.667414Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.671215Z","title":"Brinkmann, O","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.671215Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:a770cded826fd43345949221163a2ffdd03923bc0c45e81e17b73a306ac81760","observation_id":"5574c705-e797-40f2-853a-befd17d45cbb","resolution":{"observed_at":"2026-08-05T14:51:45.671215Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.675666Z","title":"Brinkmann, J","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.675666Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:f4f18d8ba28f4503462e5f9be3e2e4870a8fff16607ee665e18cecf7c2834c72","observation_id":"6c185928-715f-41e4-ac3b-b411045f345c","resolution":{"observed_at":"2026-08-05T14:51:45.675666Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.680273Z","title":"Brinkmann, J","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.680273Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:76c18a1edf7d2a9610cba14779ef1af93c219aab3de5a73be196fb14c70ba4e1","observation_id":"47837310-1f24-4777-b18b-c9a76a8f71d6","resolution":{"observed_at":"2026-08-05T14:51:45.680273Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.684331Z","title":"Brinkmann, J","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.684331Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:640bcbcc4391e1493c3cfa50dbe2df00e395f6d38364254e51d18bf7bc46107b","observation_id":"39bdcf35-abdb-46ee-9a94-162294716bdd","resolution":{"observed_at":"2026-08-05T14:51:45.684331Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.688297Z","title":"Brinkmann, J","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.688297Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:a98ec8b2a11170020c580328090c59468e70af3d38906516f45258c7cd8c7fef","observation_id":"ac2dfaf8-f20c-458b-a731-53bb917b4700","resolution":{"observed_at":"2026-08-05T14:51:45.688297Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.692696Z","title":"Brinkmann, J","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.692696Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:5779a3eab26952ea8b802db5302dbed6a4cc2f31a3f92cfcb7ace635173e7108","observation_id":"dd9deef1-3345-4b69-b7b3-807f14e42267","resolution":{"observed_at":"2026-08-05T14:51:45.692696Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.696913Z","title":"Brinkmann, S","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.696913Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:d5b146b98d7a8810a3dfc67ec2b35106573b686cf4331ef752592ad369c5b642","observation_id":"c0ce7ddf-5513-40fb-987c-867189bbcb31","resolution":{"observed_at":"2026-08-05T14:51:45.696913Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.701620Z","title":"Brinkmann and B","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.701620Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:f75cdd62b8b3ccf0258f9db55931ce711d093a38b4391c27d68a25a9eb8a1567","observation_id":"d50514e7-85a3-4f4e-b418-2aa0d0b789ba","resolution":{"observed_at":"2026-08-05T14:51:45.701620Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.705773Z","title":"Brinkmann and B","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.705773Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:9404b69c58c44d9202ac65ceeb4e90bfd903d3f7b2d1ce923667cc87d1ef20c4","observation_id":"16eb646d-34eb-4b25-9cb1-e762fa417a33","resolution":{"observed_at":"2026-08-05T14:51:45.705773Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.710874Z","title":"Brinkmann, B","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.710874Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:489d9d6c77e66793e91a7c243eae57b1fd7ac16cf66524c6d9a02c7074297a47","observation_id":"d728ba2e-ff9e-470c-88bc-ad285d69f9c9","resolution":{"observed_at":"2026-08-05T14:51:45.710874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.715201Z","title":"Brinkmann and N","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.715201Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:3afbfe6effcab3db5d49fb07b61317032f2e6a3d1b5110ce79e8a4920ae9fc6d","observation_id":"3ddd7113-d16f-40b6-ac8c-69f1fd5e6466","resolution":{"observed_at":"2026-08-05T14:51:45.715201Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.718838Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.718838Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:829ea84126ca07764869f992c854836dd720b36fdc7a877f7da126d6119a3a5b","observation_id":"7833a1a0-25e3-4e61-93c7-177aab3065df","resolution":{"observed_at":"2026-08-05T14:51:45.718838Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.722892Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.722892Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:95b8a03d76b80811121d6cda8e37326459362c2f73637b2dd26c67fb0a88840e","observation_id":"f0954504-7154-40ba-a30a-f456aab0c3cd","resolution":{"observed_at":"2026-08-05T14:51:45.722892Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.726711Z","title":"Cambie and J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.726711Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:86f1335e60e5db9734188199939f3cfdaee511c6dbb25cb2b34b8e694578da5a","observation_id":"94100a16-fe10-42e1-ab39-e16b550e9df3","resolution":{"observed_at":"2026-08-05T14:51:45.726711Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.08626","last_updated":"2025-02-12T18:27:15Z","snapshot_observed_at":"2026-08-11T02:37:51.751070Z","submitted_at":"2025-02-12T18:27:15Z","title":"Sharp results for the Erd\\H{o}s, Pach, Pollack and Tuza problem","version":1},"cited_work":{"arxiv_id":"2502.08626","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.08626","snapshot_observed_at":"2026-08-05T14:51:46.659771Z","title":"Sharp results for the Erd\\H{o}s, Pach, Pollack and Tuza problem","venue":"math.CO","work_id":"6682a819-d98a-42e6-b336-f5d412f122f3","year":2025},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.730927Z"},"links":{"cited_paper":"/paper/2502.08626","citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:94660d7f093083425d070b816dff65ce43c5408878f66d55c27d1669c59e5fcc","observation_id":"c6157066-153a-46b1-acc9-da5436e7c706","resolution":{"observed_at":"2026-08-05T14:51:46.663982Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.734989Z","title":"Caporossi","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.734989Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:c3ada998958e30ee1b07da4554d214641658e64dce7dea6a9304c8bc1442cdb7","observation_id":"0922b36b-adac-487b-b2d7-41f600e73857","resolution":{"observed_at":"2026-08-05T14:51:45.734989Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.739155Z","title":"Caporossi and P","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.739155Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:b0d26613652b43d09432204dd3596a2ebf09919ddbf12121470f432a263122ca","observation_id":"8119ac53-31d7-4d26-929b-1a575c27c99c","resolution":{"observed_at":"2026-08-05T14:51:45.739155Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.742992Z","title":"Cattell, F","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.742992Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:5a2e0c294ca6fd22b6d528e70d72d4adaf7fc5f1dc03db35b1dc4c7c0738c94b","observation_id":"c0bb99ae-4edd-4624-bfd7-f7ce8ba2ce92","resolution":{"observed_at":"2026-08-05T14:51:45.742992Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.746711Z","title":"Chudnovsky, N","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.746711Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:8f861a11f6a0e6d584d6a218f28baed146d58c0f394f7ad7e7ffe341fa1fab0e","observation_id":"8619316c-83ea-4e6f-81b7-e1296a529b18","resolution":{"observed_at":"2026-08-05T14:51:45.746711Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.751128Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.751128Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:b47d09931b35896f9580fcf6a2b59cc86a2e62ef8eb84124ef32a30e441ecfb5","observation_id":"86f3711e-afaa-49a8-a99e-aa8808e7b607","resolution":{"observed_at":"2026-08-05T14:51:45.751128Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.756157Z","title":"Magma Computational Algebra System","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.756157Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:d4ab23f135fc49851ab59df740bc4e636f0ff7bde21ca72e8d8a5ddc41813da2","observation_id":"7126d78a-7bcf-42fb-b23d-47fb0d919ee3","resolution":{"observed_at":"2026-08-05T14:51:45.756157Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.760705Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.760705Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:6c812d44779de675e4b4e8f4eb90a6d0a3278effa1adfac026ef52c16ea8cbeb","observation_id":"ffb5b2f4-0aee-407f-bba7-1e56a4a72029","resolution":{"observed_at":"2026-08-05T14:51:45.760705Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.767670Z","title":"Conder and P","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.767670Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:6332592dd9967c29e5b4142dd50c038617121f08cbcdd3a6d12932cbb237e4cf","observation_id":"8414890d-9e79-4e6e-b3f7-b0dd66a23caa","resolution":{"observed_at":"2026-08-05T14:51:45.767670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.771599Z","title":"Conder, A","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.771599Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:056290b6996bb150d55370d8875948a0115ebb139408ad795178cf5e47dcae72","observation_id":"3da4daab-2e74-4a94-aabd-99cde1d0826d","resolution":{"observed_at":"2026-08-05T14:51:45.771599Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.02250","last_updated":"2025-02-04T11:52:36Z","snapshot_observed_at":"2026-08-09T12:45:00.424841Z","submitted_at":"2025-02-04T11:52:36Z","title":"Edge-transitive cubic graphs: Cataloguing and Enumeration","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.02250","snapshot_observed_at":"2026-08-05T14:51:45.775591Z","title":"Conder and P","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.775591Z"},"links":{"cited_paper":"/paper/2502.02250","citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:80ac2e3e798f6cdb485bfc2c6343a8f917ab9f794a8c0702f6592ec07b2cb5ac","observation_id":"83e3136e-c5b9-45cf-b405-b198e3480ee4","resolution":{"observed_at":"2026-08-05T14:51:45.775591Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.779879Z","title":"Thestronglyregular p45, 12, 3, 3qgraphs","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.779879Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:df1ad84175ce38e927f9be7270f4d25f02a66b4b888c827281734cbc58b76148","observation_id":"edd03b49-9a2a-4295-aaa2-1c1aea4c3636","resolution":{"observed_at":"2026-08-05T14:51:45.779879Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.783865Z","title":"Coolsaet, S","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.783865Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:e4d2e3c52506405d81afada371f9d7d5d856967cc710546db763a44d0ec06353","observation_id":"051530fa-d9f3-4938-b347-33fcc0c3ee99","resolution":{"observed_at":"2026-08-05T14:51:45.783865Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.788087Z","title":"Coolsaet, P","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.788087Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:135fbfeed77645f00ca06515b83a5e448fca711afa3d73fc84c9f14474ca92fc","observation_id":"956d0aa4-375d-458f-9ff0-a292d59ae2c6","resolution":{"observed_at":"2026-08-05T14:51:45.788087Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.792677Z","title":"Corrádi and S","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.792677Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:8ebf2b0a1c3eee29cd0e6944f79bd569f295707dae586e9676ba9316fbe29268","observation_id":"5ef98bfd-ad0f-417d-b1c4-6ca9ce005721","resolution":{"observed_at":"2026-08-05T14:51:45.792677Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.797334Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.797334Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:56658d147a7b7a56cd550ad6db0bf45a28c6bdc5079e9981b5d34d8f95f259bc","observation_id":"1e30c2ac-8d29-4171-a100-0e693c099e31","resolution":{"observed_at":"2026-08-05T14:51:45.797334Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.801899Z","title":"Cruz-Filipe, M","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.801899Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:ea3c0b0edf8d06498e87e7e5f3215477369082bf987b62649e32d911767baeb4","observation_id":"a5ace109-223e-40a7-956d-62c2a17a8413","resolution":{"observed_at":"2026-08-05T14:51:45.801899Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.806544Z","title":"Cummings, D","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.806544Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:e5b0863964a20da82aaac57c1a4df206110211a4f4e5e76cfd748d2c83353357","observation_id":"cc4ba86d-a416-42f0-8887-9d9f6f3eacb2","resolution":{"observed_at":"2026-08-05T14:51:45.806544Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.810424Z","title":"Czabarka, I","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.810424Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:b3976b54fdcf6f9e64ef02334d8279906d400d1178ed84707b988498a14ba27d","observation_id":"65eb58cd-2b06-4d56-928c-ffea8a190224","resolution":{"observed_at":"2026-08-05T14:51:45.810424Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.814311Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.814311Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:c020b3d36bb1d8122700e338669f038dfddcb09f018fcf152376eeaa9a3d8413","observation_id":"3916f59a-0bce-4929-a7ac-86ec49075c4c","resolution":{"observed_at":"2026-08-05T14:51:45.814311Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.818283Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.818283Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:9fad9718ac5e36e227f0606120d1adeababc66dc034337d95d8e9405aec1183e","observation_id":"315a078b-3c4c-49e2-8e2c-d47b9784ba8f","resolution":{"observed_at":"2026-08-05T14:51:45.818283Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.822397Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.822397Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:6c74e78a95ed273a180590aa91d01867324cb432d8dee4a84e6048bbd90a92af","observation_id":"aa3396ae-2b84-43cb-bbef-dfb47a10963d","resolution":{"observed_at":"2026-08-05T14:51:45.822397Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.826130Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.826130Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:b4f961bff69fd299d5732c546a853b8333b671c2742500d00a311a7712095914","observation_id":"dae6556f-75a9-48df-8ea3-60477a1067ab","resolution":{"observed_at":"2026-08-05T14:51:45.826130Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.830318Z","title":"De Silva, K","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.830318Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:b7dcb519deb6467ceaba2b0d681db8842a96c67bfd52d6a1fc8641a76fb60af2","observation_id":"5c3ba38b-609b-4522-a9b3-8ad249b2b8e1","resolution":{"observed_at":"2026-08-05T14:51:45.830318Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.834317Z","title":"Devillez, P","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.834317Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:5a9843cf003433f666ecdd746f5427ed1b6929140fad80b56b0939e7ec7d11d2","observation_id":"e5993def-f930-43d9-b557-5cb04ffe4091","resolution":{"observed_at":"2026-08-05T14:51:45.834317Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.837921Z","title":"Diestel.Graph Theory","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.837921Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:124c90c7b1c14207e4daa166fe32e19cdb3d1663ff8938718d4bd38b4c82704d","observation_id":"a7118fba-81cf-411c-9668-6091134f2466","resolution":{"observed_at":"2026-08-05T14:51:45.837921Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.841458Z","title":null,"venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.841458Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:b8d9ffccf25684ed4c16add72c30b717221e5051459ae47b4eb9d260e8541f35","observation_id":"4b301d26-b2a3-4ed6-a510-0b27aeb90450","resolution":{"observed_at":"2026-08-05T14:51:45.841458Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.09764","last_updated":"2024-01-18T07:29:54Z","snapshot_observed_at":"2026-08-13T04:40:07.194266Z","submitted_at":"2024-01-18T07:29:54Z","title":"Generation of weighted trees, block trees and block graphs","version":1},"cited_work":{"arxiv_id":"2401.09764","doi":null,"metadata_source":"pith","pith_arxiv_id":"2401.09764","snapshot_observed_at":"2026-08-05T14:51:46.634172Z","title":"Generation of weighted trees, block trees and block graphs","venue":"cs.DM","work_id":"7dfaef40-1ca9-4e36-bfa6-5efdb182de0a","year":2024},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.845078Z"},"links":{"cited_paper":"/paper/2401.09764","citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:dce22c3df240c1e420bbba39e21deed75f178ff116d3a2186eff57431b85d84a","observation_id":"d36f4f77-7214-4f90-b1cb-3f03ba1d0539","resolution":{"observed_at":"2026-08-05T14:51:46.638963Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.849512Z","title":null,"venue":null,"work_id":null,"year":1955},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.849512Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:3b12588de8c954de880bee8cce7059025a5d987d562685be215825de499c17a1","observation_id":"904fa1fb-18e5-4518-b00a-945de355e746","resolution":{"observed_at":"2026-08-05T14:51:45.849512Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.853268Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.853268Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:0ecb963aabafb169e4d1d67ab3df6e7b8c7c92a016aa53bd4f0df3b129869c8d","observation_id":"575377a1-cda9-49a3-b8be-d6511b033bc7","resolution":{"observed_at":"2026-08-05T14:51:45.853268Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.857114Z","title":"Erdős and T","venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.857114Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:75d55d0a40e43220fdb0e080f7748fe520b579f5b56f2e7b91aef1457c75cc78","observation_id":"d19c0535-c29e-4cef-9c18-91c373bbfb92","resolution":{"observed_at":"2026-08-05T14:51:45.857114Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.860903Z","title":"Erdős, J","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.860903Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:fcd0ad760cbb1e848018671f966737a331e3f2223decc9f1bc94100b74cf2ba9","observation_id":"6f9400cb-b127-40bd-98b1-22bd7eb67def","resolution":{"observed_at":"2026-08-05T14:51:45.860903Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.864758Z","title":null,"venue":null,"work_id":null,"year":2001},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.864758Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:6f41739e72f56ac89b5567af207bf6b3779b1ae8e1eeeba3ac1c1ff61c3f0164","observation_id":"de1d552f-b7cf-4ea6-8be3-4bc57e374d20","resolution":{"observed_at":"2026-08-05T14:51:45.864758Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.868412Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.868412Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:50496e0f5eed33ccf7db45287cd775bd53f0f1ff22672994dbff800b56ffb01e","observation_id":"447e4b55-cac6-4ba1-867f-11d29587d9db","resolution":{"observed_at":"2026-08-05T14:51:45.868412Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.872134Z","title":null,"venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.872134Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:5a4dc74cae1f50a0fd2747687873f102ecc0a3667d8775424ac5cd0292f9cb30","observation_id":"c7abd0b4-ddd7-412d-bc7e-634fcc839a41","resolution":{"observed_at":"2026-08-05T14:51:45.872134Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.875802Z","title":"Exoo and R","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.875802Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:ba533941a253db0fc6878d8c12d059bc1b8da31fcca279aa82cdf77f434eb787","observation_id":"56a3e8cd-2fb1-472d-8950-74c19972028f","resolution":{"observed_at":"2026-08-05T14:51:45.875802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.879473Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.879473Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:f2aabcc70fae37059988973d7bf26c848197526731d5aaa4524f054136cac7f2","observation_id":"79df1a1e-23ae-4050-be5b-0fec578d28b3","resolution":{"observed_at":"2026-08-05T14:51:45.879473Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.883247Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.883247Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:6bebc91fdd0cf12b714c651fb30626b4bc1aba731a2355bfba5cf116a8a376eb","observation_id":"65443ebb-ddd0-43e6-a130-e041bdffd927","resolution":{"observed_at":"2026-08-05T14:51:45.883247Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.887458Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.887458Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:f5d272a5879c36eb286a195070aa86735cd23c8f5a7e77244defef660da0db2a","observation_id":"984c5c22-e2d3-440e-b385-19f2051d34c6","resolution":{"observed_at":"2026-08-05T14:51:45.887458Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.891838Z","title":"Fabrici, T","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.891838Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:27f180fe20d314141d016fe64cfd7506f05f836c6a3f6904088d25d5e41024d1","observation_id":"308e6af7-b478-41e3-8773-803d83b87616","resolution":{"observed_at":"2026-08-05T14:51:45.891838Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.895858Z","title":"Fajtlowicz","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.895858Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:147f67b58661fb9bb0a313459fe3900c8bc364efe47d717ac1e4e628cbdf32c8","observation_id":"7ae81556-d7a2-421b-80f1-b0304c7e227b","resolution":{"observed_at":"2026-08-05T14:51:45.895858Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.899559Z","title":"Fulkerson’sconjectureandcircuitcovers","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.899559Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:02374d3b6b2a81864f5d347f0ddc97d352ee89927ba141160e6b45942d2f3330","observation_id":"df6d7d73-c064-436d-95bd-fee8c15e9ca6","resolution":{"observed_at":"2026-08-05T14:51:45.899559Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.903315Z","title":null,"venue":null,"work_id":null,"year":1981},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.903315Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:cf172709977637ce6a8abb1905e6467c30a5e59a7013a5edc0cec0c1b7133af4","observation_id":"4c392634-6cb6-431c-a5c6-3ad02aa6851e","resolution":{"observed_at":"2026-08-05T14:51:45.903315Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.907168Z","title":null,"venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.907168Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:547ca2cbb11155ba1004e4729fd7dd2285ea69b13f862b4cdfaae7fc11959573","observation_id":"b31ebc94-538b-414f-a5ad-191844a600ee","resolution":{"observed_at":"2026-08-05T14:51:45.907168Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.910942Z","title":"Franchetti, S","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.910942Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:9be2edf94185a245182a8488a4963e99cdeb470b93898695e4e264d3041bcf38","observation_id":"2766aad2-9b14-4204-b115-5008dd1661af","resolution":{"observed_at":"2026-08-05T14:51:45.910942Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.914487Z","title":"Blockingandanti-blockingpairsofpolyhedra","venue":null,"work_id":null,"year":1971},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.914487Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:a905676ef287e831a9ff93e35416ac3eb52fc9649628d757792a9064b5c0e339","observation_id":"8e4575bf-57e9-444b-beb8-1674ca541924","resolution":{"observed_at":"2026-08-05T14:51:45.914487Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.918067Z","title":"García-Marco and K","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.918067Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:63f41e83ab9409fa23d92e35587be000ceedcfef4e173a6652a70c88b96fdd99","observation_id":"dc4fe9c8-64e4-4328-b6d4-fc23267877cf","resolution":{"observed_at":"2026-08-05T14:51:45.918067Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.921560Z","title":null,"venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.921560Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:c472636c556b809c9dd1af34c587bda68807e6e565a592b36e521a02c7ba64ed","observation_id":"a7189ce7-4ad1-4838-adbd-a12e741756ca","resolution":{"observed_at":"2026-08-05T14:51:45.921560Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.925414Z","title":null,"venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.925414Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:0bf6cd0590293ef80e0633b2403417a72f80ea6b28a904b582135fea87ea7b6c","observation_id":"c475e7cd-b916-4979-8096-6e5e66b0ea7e","resolution":{"observed_at":"2026-08-05T14:51:45.925414Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.929206Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.929206Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:1916a20ae1f82441cf6a0f9adfaafe7bbb77921776b1cd6a0b63231aac68fa71","observation_id":"cf937ee4-58bd-48dd-9981-86dd7e5a748f","resolution":{"observed_at":"2026-08-05T14:51:45.929206Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T14:51:45.932929Z","title":"Goddard, M","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-05T14:51:45.932929Z"},"links":{"citing_paper":"/paper/2508.20825"},"observation_digest":"sha256:1a0f54c8f66f5defa2cd524ea86c54e9a2b89e816c12b572e93b7e9b7d7c5ffd","observation_id":"3b0a5305-9013-49db-ac64-39c7b8f15e75","resolution":{"observed_at":"2026-08-05T14:51:45.932929Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2508.20825","last_updated":"2025-08-28T14:21:46Z","latest_version":1,"primary_category":"math.CO","snapshot_observed_at":"2026-08-14T12:05:15.671722Z","submitted_at":"2025-08-28T14:21:46Z","title":"Computer-assisted graph theory: a survey"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":96,"verified_exact":3,"verified_fuzzy":0},"total_outbound_references":250},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 100 of 250 outbound references and 5 inbound Pith citation observations for arXiv:2508.20825."}