Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-08T09:29:45.967745Z
Paper Citation Record · LEDGER
Approaching the Conway-99 problem using SAT solvers
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
29 of 29 outbound references displayed
- verified exact1
- verified fuzzy24
- unresolved3
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 5b2d7492-e36d-4662-b0e3-6ab314bb35e8 · outbound
This paper cites Strongly regular graphs with non-trivial auto- morphisms.Discrete Mathematics, 311(2):132–144.
Approaching the Conway-99 problem using SAT solvers Strongly regular graphs with non-trivial auto- morphisms.Discrete Mathematics, 311(2):132–144
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.144711Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 6293cda3-1e36-4790-b4a2-0dab60996b23 · outbound
This paper cites A strongly regular graph derived from the perfect ternary golay code.
Approaching the Conway-99 problem using SAT solvers A strongly regular graph derived from the perfect ternary golay code
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.164711Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 7f1ede0d-42db-4a8a-8e52-84627d95c3d5 · outbound
This paper cites CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT Competition 2020.
Approaching the Conway-99 problem using SAT solvers CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT Competition 2020
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.148081Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 00a4f275-eee0-43dc-988b-ca428cb87880 · outbound
This paper cites Preprocessing in sat solving.Hand- book of Satisfiability, 336:391–435.
Approaching the Conway-99 problem using SAT solvers Preprocessing in sat solving.Hand- book of Satisfiability, 336:391–435
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.202280Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 7e8bd5f6-3dcc-458a-ae63-32ecfae46c57 · outbound
This paper cites CUP Archive.
Approaching the Conway-99 problem using SAT solvers CUP Archive
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.194195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation ce92cb5c-2e6e-4a1d-8fb0-a559cc30b8aa · outbound
This paper cites Strongly regular graphs, partial geometries and partially balanced designs.
Approaching the Conway-99 problem using SAT solvers Strongly regular graphs, partial geometries and partially balanced designs
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.123282Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3dc0c100-85f1-445f-b420-687745ab0942 · outbound
This paper cites an unresolved cited work.
Approaching the Conway-99 problem using SAT solvers Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T16:02:37.126460Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 8486b55a-7b86-4a94-9676-23e03ab8adc0 · outbound
This paper cites Springer Science & Business Media.
Approaching the Conway-99 problem using SAT solvers Springer Science & Business Media
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.208831Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 2dd2eb02-d9d0-4a2f-9b49-f1320cd572a2 · outbound
This paper cites Brouwer and H.
Approaching the Conway-99 problem using SAT solvers Brouwer and H
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.184718Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 5427a151-bbe7-48a4-90ef-3bdba034e5a8 · outbound
This paper cites A (49, 16, 3, 6) strongly regular graph does not exist.European Journal of Combinatorics, 10(5):413–418.
Approaching the Conway-99 problem using SAT solvers A (49, 16, 3, 6) strongly regular graph does not exist.European Journal of Combinatorics, 10(5):413–418
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.151479Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f690b700-a4b7-429d-97e7-7bd4e3e9e42d · outbound
This paper cites Strongly regular graphs.Topics in Algebraic Graph Theory, 102:203– 221.
Approaching the Conway-99 problem using SAT solvers Strongly regular graphs.Topics in Algebraic Graph Theory, 102:203– 221
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.136677Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 3eb52025-877e-408c-8e7e-26205356f058 · outbound
This paper cites A theorem on permutations in a finite field.Proceedings of the American Mathematical Society, 11(3):456–459.
Approaching the Conway-99 problem using SAT solvers A theorem on permutations in a finite field.Proceedings of the American Mathematical Society, 11(3):456–459
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.215741Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation da194229-12f1-4bd9-b866-1a585d0c0322 · outbound
This paper cites 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.
Approaching the Conway-99 problem using SAT solvers 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
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.199785Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 01eb626d-a431-455d-9502-c35b7059b09a · outbound
This paper cites Five $1,000 problems (update 2017).https://oeis.org/A248380/ a248380.pdf.
Approaching the Conway-99 problem using SAT solvers Five $1,000 problems (update 2017).https://oeis.org/A248380/ a248380.pdf
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.205442Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 650f3c47-a800-42cb-9a63-43e4e8bb698b · outbound
This paper cites an unresolved cited work.
Approaching the Conway-99 problem using SAT solvers Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T16:02:37.187776Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 43650273-74be-4942-bfe1-23d9e77cdde5 · outbound
This paper cites The strongly regular(45,12,3,3) graphs.the electronic journal of combinatorics, pages R32–R32.
Approaching the Conway-99 problem using SAT solvers The strongly regular(45,12,3,3) graphs.the electronic journal of combinatorics, pages R32–R32
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.191396Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 5a6e9b62-ca80-42d1-b288-2492203d86a3 · outbound
This paper cites 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.
Approaching the Conway-99 problem using SAT solvers 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
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.178331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation cd8a535d-2f34-427f-80a0-15f2bf1870a1 · outbound
This paper cites Squaring a tournament: a proof of dean’s conjecture.Journal of Graph Theory, 23(1):43–48.
Approaching the Conway-99 problem using SAT solvers Squaring a tournament: a proof of dean’s conjecture.Journal of Graph Theory, 23(1):43–48
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.174777Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation d9fd9b1c-c9b4-4345-9f3d-218180041524 · outbound
This paper cites Conflict-driven answer set solving: From theory to practice.Artif.
Approaching the Conway-99 problem using SAT solvers Conflict-driven answer set solving: From theory to practice.Artif
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.181522Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation aea74687-f3b5-4b4d-89c6-cded51148be4 · outbound
This paper cites Notes on digital coding.Proc.
Approaching the Conway-99 problem using SAT solvers Notes on digital coding.Proc
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.171542Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 7250156c-04ff-47ad-8f3a-2940c2dda1e9 · outbound
This paper cites On strongly regular graph with parameters (65; 32; 15; 16).
Approaching the Conway-99 problem using SAT solvers On strongly regular graph with parameters (65; 32; 15; 16)
Reference 21
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T20:21:09.503489Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f3ac4eef-0528-408d-8d15-d8c2bfd7b967 · outbound
This paper cites Cambridge University Press.
Approaching the Conway-99 problem using SAT solvers Cambridge University Press
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.212194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 64443d05-614a-4df4-aa9f-1f7b2d94d4da · outbound
This paper cites Global symmetry is unneces- sary for fast quantum search.Physical Review Letters, 112(21):210502.
Approaching the Conway-99 problem using SAT solvers Global symmetry is unneces- sary for fast quantum search.Physical Review Letters, 112(21):210502
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.130301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 43fcbefb-7fed-4503-9bbb-b2f4279e8b48 · outbound
This paper cites Pearson Education.
Approaching the Conway-99 problem using SAT solvers Pearson Education
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.133281Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 26f835a1-5ae9-4046-bd18-150884078683 · outbound
This paper cites an unresolved cited work.
Approaching the Conway-99 problem using SAT solvers Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-05-26T16:02:37.154673Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 9c1552a1-8625-49af-9c61-8bbcf8998bcf · outbound
This paper cites Symmetry-breaking predicates for search problems.
Approaching the Conway-99 problem using SAT solvers Symmetry-breaking predicates for search problems
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.196797Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation f0ac35f6-ff9f-44d5-8a1c-f149670efe1a · outbound
This paper cites Classification of regular two-graphs on 36 and 38 vertices.Australasian Journal of Combinatorics, 24:293–300.
Approaching the Conway-99 problem using SAT solvers Classification of regular two-graphs on 36 and 38 vertices.Australasian Journal of Combinatorics, 24:293–300
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.141173Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 05726028-05dc-4491-a1c6-e8608d53b737 · outbound
This paper cites The strongly regular(40,12,2,4)graphs.the electronic journal of combinatorics, 7:R22–R22.
Approaching the Conway-99 problem using SAT solvers The strongly regular(40,12,2,4)graphs.the electronic journal of combinatorics, 7:R22–R22
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-26T16:02:37.158029Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation c9f7ea18-72fd-45dd-98b9-04a675f25cd2 · outbound
This paper cites Wilbrink.On the (99,14,1,2) strongly regular graphs, pages 342–355.
Approaching the Conway-99 problem using SAT solvers Wilbrink.On the (99,14,1,2) strongly regular graphs, pages 342–355
Reference 29
- Resolution
- malformed identifier
- raw_fallback, observed 2026-05-26T16:02:37.168635Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Pith citing papers
No inbound Pith citation observations are available.