• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Sporadic Examples of Directed Strongly Regular Graphs Obtained By Computer Algebra Experimentation.

Stefan GyürkiMikhail H. Klin
Published in: CASC (2014)
Keyphrases
  • computer algebra
  • graph matching
  • probability distribution
  • training examples
  • theorem prover
  • real time
  • genetic algorithm
  • learning algorithm
  • search algorithm
  • weighted graph
  • graph partitioning
  • graph representation