Neurosymbolic Discovery of Algebraic Graph Constructions

David Seka, Stefan Szeider

There are several methods for searching for graphs with prescribed properties, such as SAT solvers and specialized generators. These methods return the result as raw data: an adjac…