Jiaxuan You, Haoze Wu 0001, Clark W. Barrett, Raghuram Ramanujan, Jure Leskovec. G2SAT: Learning to Generate SAT Formulas. In Hanna M. Wallach, Hugo Larochelle, Alina Beygelzimer, Florence d'Alché-Buc, Edward A. Fox, Roman Garnett, editors, Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, 8-14 December 2019, Vancouver, BC, Canada. pages 10552-10563, 2019. [doi]
@inproceedings{You0BRL19,
title = {G2SAT: Learning to Generate SAT Formulas},
author = {Jiaxuan You and Haoze Wu 0001 and Clark W. Barrett and Raghuram Ramanujan and Jure Leskovec},
year = {2019},
url = {http://papers.nips.cc/paper/9241-g2sat-learning-to-generate-sat-formulas},
researchr = {https://researchr.org/publication/You0BRL19},
cites = {0},
citedby = {0},
pages = {10552-10563},
booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, 8-14 December 2019, Vancouver, BC, Canada},
editor = {Hanna M. Wallach and Hugo Larochelle and Alina Beygelzimer and Florence d'Alché-Buc and Edward A. Fox and Roman Garnett},
}