Gil Lederman: Neural Guidance in Constraint Solvers. University of California, Berkeley, USA 2021