Peltonen, Saku

1 publications

ICLR 2026 On the Expressive Power of GNNs for Boolean Satisfiability Saku Peltonen, Roger Wattenhofer