Ramanujan, Raghuram

3 publications

NeurIPS 2019 G2SAT: Learning to Generate SAT Formulas Jiaxuan You, Haoze Wu, Clark Barrett, Raghuram Ramanujan, Jure Leskovec

AAAI 2016 A.I. as an Introduction to Research Methods in Computer Science Raghuram Ramanujan

UAI 2010 Understanding Sampling Style Adversarial Search Methods Raghuram Ramanujan, Ashish Sabharwal, Bart Selman