G2SAT: Learning to Generate SAT Formulas - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jiaxuan You' in GoogleThis author has not been identified. Look up 'Haoze Wu 0001' in GoogleThis author has not been identified. Look up 'Clark W. Barrett' in GoogleThis author has not been identified. Look up 'Raghuram Ramanujan' in GoogleThis author has not been identified. Look up 'Jure Leskovec' in Google

runs on WebDSL