July 3, 2026
Fifteen Integer Sequences in the OEIS
Fifteen integer sequences now published in the OEIS: nine authored, six extended. Computed by SAT solving and exhaustive search, checked against prior art, spread across seven fields.
Oeis
Browse posts by tag
June 5, 2026
OEIS Contributions
Published OEIS sequences I have authored or extended, with a separate record of proposals awaiting review. Computation, proofs, and reproduction notes across combinatorics and related fields.
June 5, 2026
The Expensive Half of a SAT Proof
A from-first-principles tour of double-lex symmetry breaking for SAT: why the UNSAT side is expensive, how canonical-representative constraints fix it, a worked Zarankiewicz example that settled three new OEIS values, and an honest map of where the …