{"as_of":"2026-08-09T22:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6304836b4a988a645175fa7ba32f9def28b4f1d5d7ff1578f9108114658ca274","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-08T09:29:45.967745Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2604.23037/citation-record","integrity":"/paper/2604.23037/integrity","json":"/paper/2604.23037/citation-record.json","paper":"/paper/2604.23037"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Strongly regular graphs with non-trivial auto- morphisms.Discrete Mathematics, 311(2):132–144","venue":null,"work_id":"5beca508-ce5c-4662-b15c-1549f471d4d5","year":2011},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:87634dc2b5f3c85d06935ddbf73a0e8006e805c8e8f67ba57017e3caf65de2e6","observation_id":"5b2d7492-e36d-4662-b0e3-6ab314bb35e8","resolution":{"observed_at":"2026-05-26T16:02:37.144711Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A strongly regular graph derived from the perfect ternary golay code","venue":null,"work_id":"016f321b-a948-4f8c-9732-af381914825c","year":1973},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:6e0d1cdd1ad258cbfc536ceb12c5050a77c9576fd97da0b9310b20a8941c33fb","observation_id":"6293cda3-1e36-4790-b4a2-0dab60996b23","resolution":{"observed_at":"2026-05-26T16:02:37.164711Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT Competition 2020","venue":null,"work_id":"22a0b8d9-389d-4aa0-981d-46bb29980198","year":2020},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:931148845a559b394347233a3b2e6d9179d7f4f8da29f0b417025aa00db6b1b7","observation_id":"7f1ede0d-42db-4a8a-8e52-84627d95c3d5","resolution":{"observed_at":"2026-05-26T16:02:37.148081Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Preprocessing in sat solving.Hand- book of Satisfiability, 336:391–435","venue":null,"work_id":"e2a5d426-5e64-4610-95da-60482e3a6be2","year":2021},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:cdff2b0d399eb48a64dd3dbf2e1dcc293458a758ee065caf08458693215d1d01","observation_id":"00a4f275-eee0-43dc-988b-ca428cb87880","resolution":{"observed_at":"2026-05-26T16:02:37.202280Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"CUP Archive","venue":null,"work_id":"0d313039-cb60-4142-93e5-5303c972c47f","year":1969},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:e21b642e7144f394ba5ad5c5b8d9577f59b7b590056ba59173c122c5d8e3967d","observation_id":"7e8bd5f6-3dcc-458a-ae63-32ecfae46c57","resolution":{"observed_at":"2026-05-26T16:02:37.194195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Strongly regular graphs, partial geometries and partially balanced designs","venue":null,"work_id":"94865fd1-03db-4331-87ff-0851a422daf5","year":1963},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:a496502750ada8fd6c80d38e63b00a4c242547b222d45b9e2041ff05a3ed6126","observation_id":"ce92cb5c-2e6e-4a1d-8fb0-a559cc30b8aa","resolution":{"observed_at":"2026-05-26T16:02:37.123282Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b2778ea6-0d8a-4db3-99f9-62545b5db6fc","year":null},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:a71ac1917d78a71922c7c09affa2ac8885eb03bfb2f9ddbf54554268a215a01f","observation_id":"3dc0c100-85f1-445f-b420-687745ab0942","resolution":{"observed_at":"2026-05-26T16:02:37.126460Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Springer Science & Business Media","venue":null,"work_id":"5a475330-975f-4f35-9f4b-5ebdbbab3297","year":2011},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:05fa9d90a857e8a201a1fafee86dfb729df7c855fafa7c7b1196996f5e6b1c54","observation_id":"8486b55a-7b86-4a94-9676-23e03ab8adc0","resolution":{"observed_at":"2026-05-26T16:02:37.208831Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Brouwer and H","venue":null,"work_id":"8a969bad-14ef-4a39-8f9b-b8fd7f8fa9c3","year":2022},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:4be466fd8a2039d46873faec0647994e730ef15711eb62a81054fce67b9596ad","observation_id":"2dd2eb02-d9d0-4a2f-9b49-f1320cd572a2","resolution":{"observed_at":"2026-05-26T16:02:37.184718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A (49, 16, 3, 6) strongly regular graph does not exist.European Journal of Combinatorics, 10(5):413–418","venue":null,"work_id":"dca8facc-2fc3-483e-8eba-59093670cd7b","year":1989},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:56b5c1a9cdb055b3de250538b5e019d221eb76001727dae65e4ded4dd9fb8ef0","observation_id":"5427a151-bbe7-48a4-90ef-3bdba034e5a8","resolution":{"observed_at":"2026-05-26T16:02:37.151479Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Strongly regular graphs.Topics in Algebraic Graph Theory, 102:203– 221","venue":null,"work_id":"923272f1-7754-4056-bbfc-e118dbb7051e","year":2004},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:4efdcb3840dad899f8d055997a7ab7b0a245ed94aafadbce968ba62250454d85","observation_id":"f690b700-a4b7-429d-97e7-7bd4e3e9e42d","resolution":{"observed_at":"2026-05-26T16:02:37.136677Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A theorem on permutations in a finite field.Proceedings of the American Mathematical Society, 11(3):456–459","venue":null,"work_id":"08800ce1-95af-472b-8251-a0c5d0e7267a","year":1960},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:2324efb9dc22f64074ca2dcbc4b58f7a7345fd8959a4606a81daa31fbfa42727","observation_id":"3eb52025-877e-408c-8e7e-26205356f058","resolution":{"observed_at":"2026-05-26T16:02:37.215741Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Association schemes of partially balanced block designs with param- eters v= 28, n1= 12, n2= 15 and p2 11= 4, sci.Record, 4:12–18","venue":null,"work_id":"04a0d148-dc62-4693-919e-7be37d0782a6","year":1960},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:54d8e30d2462247444cc8afb71eeafb5be4f0be103f516a2ad668bfe967e0f53","observation_id":"da194229-12f1-4bd9-b866-1a585d0c0322","resolution":{"observed_at":"2026-05-26T16:02:37.199785Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Five $1,000 problems (update 2017).https://oeis.org/A248380/ a248380.pdf","venue":null,"work_id":"0752efa3-ece8-4587-a365-0bc8b7a4bc50","year":2017},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:126c549adbc90d99803c237509cdeace6a67f60614f1b87e78aa5f1d39f02e31","observation_id":"01eb626d-a431-455d-9502-c35b7059b09a","resolution":{"observed_at":"2026-05-26T16:02:37.205442Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"df9b3b9c-c3a8-404f-bf77-593874de0533","year":1971},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:672c16f7e9455e5fcb1cab24b1ca8c8a8a9e48675c931e0359b2e83868f8180b","observation_id":"650f3c47-a800-42cb-9a63-43e4e8bb698b","resolution":{"observed_at":"2026-05-26T16:02:37.187776Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The strongly regular(45,12,3,3) graphs.the electronic journal of combinatorics, pages R32–R32","venue":null,"work_id":"72d645d4-f849-4c72-84a7-c80bf22a7726","year":2006},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:17b82df785324edb16282d6dc0261a59c37c8b9363f602cca13e0ffe9c46e743","observation_id":"43650273-74be-4942-bfe1-23d9e77cdde5","resolution":{"observed_at":"2026-05-26T16:02:37.191396Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Ternary codes from the strongly regular (45, 12, 3, 3) graphs and orbit matrices of 2-(45, 12, 3) designs.Discrete Mathematics, 312(20):3000–3010","venue":null,"work_id":"c01b91a6-ffe2-49da-b7d7-0eb6c7c9b0fe","year":2012},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:9202fbf98012481c4ce04bcd2f638ee651b1dd4a31ec533d86fdf79882e63d2f","observation_id":"5a6e9b62-ca80-42d1-b288-2492203d86a3","resolution":{"observed_at":"2026-05-26T16:02:37.178331Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Squaring a tournament: a proof of dean’s conjecture.Journal of Graph Theory, 23(1):43–48","venue":null,"work_id":"b003660f-f323-4dc2-bd2f-58174d0037e1","year":1996},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:6a8421d5b4b88df6329a2ffc89874795f857604f3bbe4e1957bd651a9b555ffe","observation_id":"cd8a535d-2f34-427f-80a0-15f2bf1870a1","resolution":{"observed_at":"2026-05-26T16:02:37.174777Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Conflict-driven answer set solving: From theory to practice.Artif","venue":null,"work_id":"4e4d22a2-3cb3-429b-8f2a-06e783ea2a57","year":2012},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:f9914d63c2f4146b7b3191ad879f41d81f8d1d314c72172cdb9a9e2c8a5d615a","observation_id":"d9fd9b1c-c9b4-4345-9f3d-218180041524","resolution":{"observed_at":"2026-05-26T16:02:37.181522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Notes on digital coding.Proc","venue":null,"work_id":"a81cd2b5-2cde-4117-8ae3-3d127ca698ad","year":1949},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:232ca6891985ce5d2a92a0933edf812193a339792653b77c6cdaa2a4f4c5ecf8","observation_id":"aea74687-f3b5-4b4d-89c6-cded51148be4","resolution":{"observed_at":"2026-05-26T16:02:37.171542Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2102.05432","last_updated":"2021-02-10T13:53:43Z","snapshot_observed_at":"2026-07-06T10:40:12.004776Z","submitted_at":"2021-02-10T13:53:43Z","title":"On strongly regular graph with parameters (65; 32; 15; 16)","version":1},"cited_work":{"arxiv_id":"2102.05432","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2102.05432","snapshot_observed_at":"2026-07-04T15:29:54.818791Z","title":"On strongly regular graph with parameters (65; 32; 15; 16)","venue":null,"work_id":"e90db591-062f-4ef9-bc33-f8d8f4be38a8","year":2021},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"cited_paper":"/paper/2102.05432","citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:0260967098f3b66657cc25e6b878dcc8bf319e94016170a8c1743b8c06397f15","observation_id":"7250156c-04ff-47ad-8f3a-2940c2dda1e9","resolution":{"observed_at":"2026-05-11T20:21:09.503489Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Cambridge University Press","venue":null,"work_id":"bcbb5a8c-2716-43c6-ab3c-66ad9d2eecc5","year":1993},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:9c764ae25ad161c764994aa014756e0823f6a35cbe2ba5a1d5584231335a7364","observation_id":"f3ac4eef-0528-408d-8d15-d8c2bfd7b967","resolution":{"observed_at":"2026-05-26T16:02:37.212194Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Global symmetry is unneces- sary for fast quantum search.Physical Review Letters, 112(21):210502","venue":null,"work_id":"1125296c-b452-47ef-83b0-fd86d8004f6e","year":2014},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:4266ac53f5d949a38ca4bdbcb3e4e58422150cc95f7caf5a511088d528000824","observation_id":"64443d05-614a-4df4-aa9f-1f7b2d94d4da","resolution":{"observed_at":"2026-05-26T16:02:37.130301Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Pearson Education","venue":null,"work_id":"8a0ea7c7-f66e-4361-b2ff-eddaf57eab25","year":1997},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:6f899707f118ac40f5400c98afcf2db82d8e83e81c5db5d48bbb13c60581b46e","observation_id":"43fcbefb-7fed-4503-9bbb-b2f4279e8b48","resolution":{"observed_at":"2026-05-26T16:02:37.133281Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5cd67e7a-8d1c-45df-a9f3-32d646f5dadf","year":1973},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:05d3932ccac248c5c4f49f4e8ca551eb33b471b471ea6d45608bf1aa2794aeeb","observation_id":"26f835a1-5ae9-4046-bd18-150884078683","resolution":{"observed_at":"2026-05-26T16:02:37.154673Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Symmetry-breaking predicates for search problems","venue":null,"work_id":"1824c929-bd79-42c8-97aa-90977a34537e","year":1996},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:ccc7b788af79f37c571512f1deea7158b2f1dfff1dce549187ebb635b3592568","observation_id":"9c1552a1-8625-49af-9c61-8bbcf8998bcf","resolution":{"observed_at":"2026-05-26T16:02:37.196797Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Classification of regular two-graphs on 36 and 38 vertices.Australasian Journal of Combinatorics, 24:293–300","venue":null,"work_id":"15f53c2b-88bd-449c-ab36-8da34ea96fcb","year":2001},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:267a8d92bdc053b0028a33b49b95f7cbf09a5b9996d69556bf467b5d500803b5","observation_id":"f0ac35f6-ff9f-44d5-8a1c-f149670efe1a","resolution":{"observed_at":"2026-05-26T16:02:37.141173Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The strongly regular(40,12,2,4)graphs.the electronic journal of combinatorics, 7:R22–R22","venue":null,"work_id":"fb859cda-7808-47c0-b441-1cb7241ab8ce","year":2000},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:5f1aabda98da75eefa25fdbe9a7573175b1e8b6aec5f9312198308e8e3ff38df","observation_id":"05726028-05dc-4491-a1c6-e8608d53b737","resolution":{"observed_at":"2026-05-26T16:02:37.158029Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Wilbrink.On the (99,14,1,2) strongly regular graphs, pages 342–355","venue":null,"work_id":"c793efc2-674d-4bf6-b218-0ba08fa12bc5","year":1984},"citing_paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-08T09:29:45.967745Z"},"links":{"citing_paper":"/paper/2604.23037"},"observation_digest":"sha256:7c32017aaf644d41e7c26ae73a66dc41d42a21e748b9d27d1f839c001e8c9c59","observation_id":"c9f7ea18-72fd-45dd-98b9-04a675f25cd2","resolution":{"observed_at":"2026-05-26T16:02:37.168635Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.23037","last_updated":"2026-04-28T09:02:53Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-07-30T18:08:36.864460Z","submitted_at":"2026-04-24T21:50:11Z","title":"Approaching the Conway-99 problem using SAT solvers"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":1,"verified_fuzzy":24},"total_outbound_references":29},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2604.23037."}