• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A simpler proof for the two disjoint odd cycles theorem.

Ken-ichi KawarabayashiKenta Ozeki
Published in: J. Comb. Theory, Ser. B (2013)
Keyphrases
  • interactive theorem proving
  • pairwise
  • theorem prover
  • theorem proving
  • neural network
  • genetic algorithm
  • similarity measure
  • fixed point
  • von neumann
  • linear logic
  • automated theorem provers