@InProceedings{Peltonen2025on,
	author=	{Saku Peltonen and Roger Wattenhofer},
	title=	{{On the Expressive Power of GNNs for Boolean Satisfiability}},
	booktitle=	{{22nd International Workshop on Mining and Learning with Graphs (MLG@ECMLPKDD), Porto, Portugal}},
	month=	{September},
	year=	{2025},
}