A simpler proof for the two disjoint odd cycles theorem.

Ken-ichi Kawarabayashi Kenta 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