Proof of a Conjecture of Henning and Yeo on Vertex-Disjoint Directed Cycles.

Nicolas Lichiardopol

Published in: SIAM J. Discret. Math. (2014)

Keyphrases

theorem prover
theorem proving
pairwise
search algorithm
directed graph
minimum weight
linear logic
machine learning
social networks
vertex set
proof search
proof planning
mathematical proofs
interactive theorem proving