@InProceedings{Peltonen2026on,
	author=	{Saku Peltonen and Roger Wattenhofer},
	title=	{{On the Expressive Power of GNNs for Boolean Satisfiability}},
	booktitle=	{{14th International Conference on Learning Representations (ICLR), Rio de Janeiro, Brazil}},
	month=	{April},
	year=	{2026},
}