G2SAT: Learning to Generate SAT Formulas - You, Jiaxuan; Wu, Haoze; Barrett, Clark; Ramanujan, Raghuram; Leskovec, Jure (Advances in Neural Information Processing Systems, 2019)