Mahdi Khalifa, Hazem Raafat, Mohammed Almulla. Machine Learning Approach to Enhance the Design of Automated Theorem Provers. In Tingwen Huang, Zhigang Zeng, Chuandong Li, Chi-Sing Leung, editors, Neural Information Processing - 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part II. Volume 7664 of Lecture Notes in Computer Science, pages 673-682, Springer, 2012. [doi]
Abstract is missing.