Fetching the paper…
Reading the bibliography…
The NeuroSAT neural network architecture was recently introduced for predicting properties of propositional formulae.
Kullback, S., Leibler, R.A.: On information and sufficiency. The annals of mathematical statistics 22
1951
Earlier work this paper cites.
Lawler, E.L., Wood, D.E.: Branch-and-bound methods: A survey. Operations research 14
1966
Earlier work this paper cites.
Knuth, D.E.: Estimating the efficiency of backtrack programs. Mathematics of computation 29
1975
Earlier work this paper cites.
Hochreiter, S., Schmidhuber, J.: Long short-term memory. Neural Computation 9
1997
Earlier work this paper cites.
Tammet, T.: Gandalf. J. Autom. Reasoning 18
1997
Earlier work this paper cites.
Marques-Silva, J.P., Sakallah, K.A.: Grasp: A search algorithm for propositional satisfiability. IEEE Transactions on Computers 48
1999
Earlier work this paper cites.
Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: Engineering an efficient sat solver. In: Proceedings of the 38th annual Design Automation Conference. pp. 530–535. ACM (2001)
2001
Earlier work this paper cites.
Schulz, S.: E–a brainiac theorem prover. Ai Communications 15
2002
Earlier work this paper cites.
Ryan, L.: Efficient algorithms for clause-learning SAT solvers (2004), masters thesis
2004
Earlier work this paper cites.
Urban, J., Sutcliffe, G., Pudlák, P., Vyskocil, J.: Malarea SG1- machine learner for automated reasoning with semantic guidance. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Lecture Notes in Computer Science, vol. 5195, pp. 441–456. Springer (2008). https://doi.org/10.1007/978-3-540-71070-7_37
2008
Earlier work this paper cites.
Xu, L., Hutter, F., Hoos, H.H., Leyton-Brown, K.: Satzilla: Portfolio-based algorithm selection for SAT. J. Artif. Intell. Res. 32
2008
Earlier work this paper cites.
Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press (2009)
2009
Earlier work this paper cites.
2010
Earlier work this paper cites.
Hinton, G., Deng, L., Yu, D., Dahl, G., Mohamed, A.r., Jaitly, N., Senior, A., Vanhoucke, V., Nguyen, P., Kingsbury, B., et al.: Deep neural networks for acoustic modeling in speech recognition. IEEE Signal processing magazine 29
2012
Earlier work this paper cites.
Krizhevsky, A., Sutskever, I., Hinton, G.E.: Imagenet classification with deep convolutional neural networks. In: Advances in neural information processing systems. pp. 1097–1105 (2012)
2012
Earlier work this paper cites.
De Moura, L., Passmore, G.O.: The strategy challenge in SMT solving. In: Automated Reasoning and Mathematics, pp. 15–44. Springer (2013)
2013
Cited alongside, same era.
2014
Cited alongside, same era.
Wetzler, N., Heule, M.J., Hunt, W.A.: Drat-trim: Efficient checking and trimming using expressive clausal proofs. In: International Conference on Theory and Applications of Satisfiability Testing. pp. 422–429. Springer (2014)
2014
Cited alongside, same era.
Biere, A., Fröhlich, A.: Evaluating CDCL variable scoring schemes. In: International Conference on Theory and Applications of Satisfiability Testing. pp. 405–422. Springer (2015)
2015
Cited alongside, same era.
Knuth, D.E.: The Art of Computer Programming, Volume 4, Fascicle 6: Satisfiability (2015)
2017
Later among the works it cites.
Loos, S.M., Irving, G., Szegedy, C., Kaliszyk, C.: Deep network guided proof search. In: Eiter, T., Sands, D. (eds.) LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017. EPiC Series in Computing, vol. 46, pp. 85–105. EasyChair (2017), http://www.easychair.org/publications/paper/340345
2017
Later among the works it cites.
Schulz, S.: We know (nearly) nothing! but can we learn? In: Reger, G., Traytel, D. (eds.) ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. EPiC Series in Computing, vol. 51, pp. 29–32. EasyChair (2017), http://www.easychair.org/publications/paper/6kgF
2017
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
2015
Cited alongside, same era.
Oh, C.: Between SAT and UNSAT: the fundamental difference in CDCL SAT. In: Heule, M., Weaver, S. (eds.) Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings. Lecture Notes in Computer Science, vol. 9340, pp. 307–323. Springer (2015). https://doi.org/10.1007/978-3-319-24318-4_23
2015
Cited alongside, same era.
Abadi, M., Barham, P., Chen, J., Chen, Z., Davis, A., Dean, J., Devin, M., Ghemawat, S., Irving, G., Isard, M., et al.: Tensorflow: A system for large-scale machine learning. In: 12th USENIX Symposium on Operating Systems Design and Implementation OSDI 16. pp. 265–283 (2016)
2016
Cited alongside, same era.
Heule, M.J., Kullmann, O., Marek, V.W.: Solving and verifying the boolean pythagorean triples problem via cube-and-conquer. In: International Conference on Theory and Applications of Satisfiability Testing. pp. 228–245. Springer (2016)
2016
Cited alongside, same era.
Hoder, K., Reger, G., Suda, M., Voronkov, A.: Selecting the selection. In: Olivetti, N., Tiwari, A. (eds.) Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings. Lecture Notes in Computer Science, vol. 9706, pp. 313–329. Springer (2016). https://doi.org/10.1007/978-3-319-40229-1_22
2016
Cited alongside, same era.
Irving, G., Szegedy, C., Alemi, A.A., Een, N., Chollet, F., Urban, J.: Deepmath-deep sequence models for premise selection. In: Advances in Neural Information Processing Systems. pp. 2235–2243 (2016)
2016
Cited alongside, same era.
2016
Cited alongside, same era.
Sutcliffe, G.: The CADE ATP System Competition - CASC. AI Magazine 37
2016
Cited alongside, same era.
Silver, D., Schrittwieser, J., Simonyan, K., Antonoglou, I., Huang, A., Guez, A., Hubert, T., Baker, L., Lai, M., Bolton, A., et al.: Mastering the game of go without human knowledge. Nature 550
2017
Later among the works it cites.
Wang, M., Tang, Y., Wang, J., Deng, J.: Premise selection for theorem proving by deep graph embedding. In: Advances in Neural Information Processing Systems. pp. 2786–2796 (2017)
2017
Later among the works it cites.
Balcan, M., Dick, T., Sandholm, T., Vitercik, E.: Learning to branch. In: Dy, J.G., Krause, A. (eds.) Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsmässan, Stockholm, Sweden, July 10-15, 2018. JMLR Workshop and Conference Proceedings, vol. 80, pp. 353–362. JMLR.org (2018), http://proceedings.mlr.press/v80/balcan18a.html
2018
Later among the works it cites.
Balunovic, M., Bielik, P., Vechev, M.T.: Learning to solve SMT formulas. In: Bengio, S., Wallach, H.M., Larochelle, H., Grauman, K., Cesa-Bianchi, N., Garnett, R. (eds.) Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montréal, Canada. pp. 10338–10349 (2018), http://papers.nips.cc/paper/8233-learning-to-solve-smt-formulas
2018
Later among the works it cites.
Heule, M.J.: Schur number five. In: Thirty-Second AAAI Conference on Artificial Intelligence (2018)
2018
Later among the works it cites.
Heule, M.J., Kullmann, O., Biere, A.: Cube-and-conquer for satisfiability. In: Handbook of Parallel Constraint Reasoning, pp. 31–59. Springer (2018)
2018
Later among the works it cites.
Proceedings of sat competition 2018; solver and benchmark descriptions (2018), http://hdl.handle.net/10138/237063
2018
Later among the works it cites.
2018
Later among the works it cites.
Liang, J., K., H.G.V., Poupart, P., Czarnecki, K., Ganesh, V.: An empirical study of branching heuristics through the lens of global learning rate. In: Lang, J. (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. pp. 5319–5323. ijcai.org (2018). https://doi.org/10.24963/ijcai.2018/745, http://www.ijcai.org/proceedings/2018/
2018
Later among the works it cites.
Moritz, P., Nishihara, R., Wang, S., Tumanov, A., Liaw, R., Liang, E., Elibol, M., Yang, Z., Paul, W., Jordan, M.I., et al.: Ray: A distributed framework for emerging { \{ AI } \} applications. In: 13th USENIX Symposium on Operating Systems Design and Implementation OSDI 18). pp. 561–577 (2018)
2018
Later among the works it cites.
Selsam, D., Lamm, M., Bünz, B., Liang, P., de Moura, L., Dill, D.L.: Learning a SAT solver from single-bit supervision. In: International Conference on Learning Representations (2019), https://openreview.net/forum?id=HJMC\_iA5tm
2019
Closest in time.