うるう年判定を従来の方法より高速かつ分岐なしで行うため、ビット演算とマジックナンバーを用いた高度な最適化手法が紹介された。従来の複雑な条件分岐を3命令に圧縮し、最大10万年以上の範囲で正確な結果を出す。Z3などのソルバーを用いて導出された定数により、モジュロ演算を排し、比較とマスクのみで判定可能。実装例やパフォーマンス比較も示され、実用性が高いことが示された。