2 papers
cs.DM2026
On merge-models
Hector Buffière, Yuquan Lin, Jaroslav NeÅ¡et{Å}il +2
Tree-ordered weakly sparse models have recently emerged as a robust framework for representing structures in an ``almost sparse'' way, while allowing the structure to be reconstruc…
cs.CC2026
Dichotomy for orderings?
Gábor Kun, Jaroslav NeÅ¡etÅil
Fagin defined the class by the means of Existential Second-Order logic. Feder and Vardi expressed it (up to polynomial equivalence) by special fragments of Existential Second-…