Login / Signup

A graph-theoretic proof of the non-existence of self-orthogonal Latin squares of order 6.

Alewyn P. BurgerMartin Philip KiddJan H. van Vuuren
Published in: Discret. Math. (2011)
Keyphrases
  • graph theoretic
  • graph theory
  • theorem prover
  • data sets
  • genetic algorithm
  • multi objective
  • first order logic
  • theorem proving