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
Integer sequences I have authored or extended in the On-Line Encyclopedia of Integer Sequences, across Ramsey theory, extremal graph theory, knot theory, algebraic graph theory, additive combinatorics, Boolean function complexity, and combinatorial …
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 …