Login / Signup
Complementary cycles in regular bipartite tournaments: a proof of Manoussakis, Song and Zhang Conjecture.
Stéphane Bessy
Jocelyn Thiebaut
Published in:
Electron. Notes Discret. Math. (2017)
Keyphrases
</>
bipartite graph
theorem prover
real valued
graph model
linear logic
learning algorithm
data sets
genetic algorithm
expert systems
feature vectors
automated theorem proving