Author:
Rawson Michael,Reger Giles
Publisher
Springer International Publishing
Reference51 articles.
1. Alama, J., Heskes, T., Kühlwein, D., Tsivtsivadze, E., Urban, J.: Premise selection for mathematics by corpus analysis and kernel methods. J. Autom. Reason. 52(2), 191–213 (2014). https://doi.org/10.1007/s10817-013-9286-5
2. Andrews, P.B.: Theorem proving via general matings. J. ACM (JACM) 28(2), 193–214 (1981)
3. Balyo, T., Froleyks, N., Heule, M.J., Iser, M., Järvisalo, M., Suda, M.: Proceedings of SAT Competition 2020: solver and benchmark descriptions (2020)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);P Baumgartner,2003
5. Bayerl, S., Letz, R.: SETHEO: a sequential theorem prover for first-order logic. In: Esprit’87-Achievements and Impacts, part 1, pp. 721–735 (1987)