G2SAT: Learning to Generate SAT Formulas

Published in Advances in neural information processing systems (NeurIPS'19), 2019