Neural Guidance for SAT Solving
Martín Abadi,Ashish Agarwal,Paul Barham, E. Brevdo,Zhifeng Chen,Craig Citro, Greg S. Corrado,Andy Davis,Jeffrey Dean,M. Devin,S. Ghemawat, Ian, Goodfellow,A. Harp, G. Irving,M. Isard,Yangqing Jia,R. Józefowicz, M. Kudlur, J. Levenberg, Sherry, Moore, D. Murray, C. Olah, M. Schuster,Jonathon Shlens,Benoit Steiner, Ilya, Sutskever,Kunal Talwar, Paul Tucker,Vijay Vasudevan, Fernanda, Viégas semanticscholar（2018）
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper