Login / Signup

Complementary cycles in regular bipartite tournaments: a proof of Manoussakis, Song and Zhang Conjecture.

Stéphane BessyJocelyn 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