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 理解论文
溯源树
样例
