On the Expressive Power of GNNs for Boolean Satisfiability - Peltonen, Saku; Wattenhofer, Roger (International Conference on Learning Representations, 2026)