Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-03T09:55:39.470243Z
Paper Citation Record · LEDGER
SAT Certificates for the Matrix-Multiplication Challenges over F2: All Ten `Expected-UNSAT` Instances Are Satisfiable, and a Type-3-Free Rank-23 Scheme
As of 16 August 2026, this Paper Citation Record lists 10 of 10 outbound references and 0 inbound Pith citation observations for arXiv:2607.29291.
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-16T06:30:59.297886+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
10 of 10 outbound references displayed
- verified exact3
- verified fuzzy0
- unresolved7
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 7abc8a36-1fca-4e75-b02b-8c89a450d99d · outbound
This paper cites an unresolved cited work.
SAT Certificates for the Matrix-Multiplication Challenges over F2: All Ten `Expected-UNSAT` Instances Are Satisfiable, and a Type-3-Free Rank-23 Scheme Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T09:55:38.750444Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 690d021b-47b7-41ef-a151-e8d04d16bbe3 · outbound
This paper cites A New General-Purpose Method to Multiply 3x3 Matrices Using Only 23 Multiplications.
SAT Certificates for the Matrix-Multiplication Challenges over F2: All Ten `Expected-UNSAT` Instances Are Satisfiable, and a Type-3-Free Rank-23 Scheme A New General-Purpose Method to Multiply 3x3 Matrices Using Only 23 Multiplications
Reference 2
- Resolution
- verified exact
- local_arxiv, observed 2026-08-03T09:59:02.132948Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d55e0bc4-6fa0-44e9-83d3-709bff5bdea4 · outbound
This paper cites de Groote.
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T09:55:38.914682Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b0a53209-b759-46f2-bcd5-ef25649fcaff · outbound
This paper cites an unresolved cited work.
SAT Certificates for the Matrix-Multiplication Challenges over F2: All Ten `Expected-UNSAT` Instances Are Satisfiable, and a Type-3-Free Rank-23 Scheme Unresolved cited work
Reference 4
- Resolution
- verified exact
- doi, observed 2026-08-03T09:59:01.884938Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ec56f278-a4d4-4d52-bd3b-646cc79c7f9d · outbound
This paper cites an unresolved cited work.
SAT Certificates for the Matrix-Multiplication Challenges over F2: All Ten `Expected-UNSAT` Instances Are Satisfiable, and a Type-3-Free Rank-23 Scheme Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T09:55:39.052297Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4d1e1ba2-8eb1-496c-af36-fef62fab4b9d · outbound
This paper cites an unresolved cited work.
SAT Certificates for the Matrix-Multiplication Challenges over F2: All Ten `Expected-UNSAT` Instances Are Satisfiable, and a Type-3-Free Rank-23 Scheme Unresolved cited work
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-03T09:59:01.615837Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 315fc1d4-644d-4835-afb9-1c49c33fbb9b · outbound
This paper cites Laderman.
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T09:55:39.229142Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 522f90e5-3875-4a0c-8fbc-60aca2d7c699 · outbound
This paper cites A rank 23 algorithm for multiplying \(3 3\) matrices with an arithmetic complexity of 59.
SAT Certificates for the Matrix-Multiplication Challenges over F2: All Ten `Expected-UNSAT` Instances Are Satisfiable, and a Type-3-Free Rank-23 Scheme A rank 23 algorithm for multiplying \(3 3\) matrices with an arithmetic complexity of 59
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T09:55:39.313349Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d8be3dcc-4531-4833-996c-b4ed69f21d0b · outbound
This paper cites SAT certificates for the matrix-multiplication challenges over \( _2\): Reproducibility artifact.
SAT Certificates for the Matrix-Multiplication Challenges over F2: All Ten `Expected-UNSAT` Instances Are Satisfiable, and a Type-3-Free Rank-23 Scheme SAT certificates for the matrix-multiplication challenges over \( _2\): Reproducibility artifact
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T09:55:39.404244Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f4f23871-4a12-432b-81bf-e768f0e9c6ec · outbound
This paper cites an unresolved cited work.
SAT Certificates for the Matrix-Multiplication Challenges over F2: All Ten `Expected-UNSAT` Instances Are Satisfiable, and a Type-3-Free Rank-23 Scheme Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T09:55:39.470243Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.