@inproceedings{SekaSzeider26,
 address = {Lisbon, Portugal},
 author = {David Seka and
Stefan Szeider},
 booktitle = {Proceedings of the 20th Conference on Neurosymbolic Learning
and Reasoning (NeSy 2026)},
 keywords = {asksat, coe},
 note = {To appear; preprint: CoRR abs/2608.08118, {https://arxiv.org/abs/2608.08118}},
 title = {Neurosymbolic Discovery of Algebraic Graph Constructions},
 year = {2026}
}