2 papers
cs.AI2026
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…
cs.DM2026
Enumerating Two-Orbit Graphs
David Seka, Stefan Szeider
We present an approach to enumerate graphs whose automorphism group has exactly two orbits. Our method exploits the observation that we can enumerate all graphs whose automorphism…