ML Anthology
Authors
Search
About
Peltonen, Saku
1 publications
ICLR
2026
On the Expressive Power of GNNs for Boolean Satisfiability
Saku Peltonen
,
Roger Wattenhofer