Counting Fixed Cycles in Graphs with Bounded Circumference
Prior state unknown→proved
the odd-cycle half; the even-cycle half is a companion paper by the same authors
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review