Haoze Wu, Raghuram Ramanujan. Learning to Generate Industrial SAT Instances. In Pavel Surynek, William Yeoh 0001, editors, Proceedings of the Twelfth International Symposium on Combinatorial Search, SOCS 2019, Napa, California, 16-17 July 2019. pages 206-207, AAAI Press, 2019. [doi]