Foundations of Artificial Intelligence (FAI) Group

Conference Papers:

• M. Bromberger, C. Jain, and C. Weidenbach, SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning., Proceedings of the 29th International Conference on Automated Deduction (CADE'23), 2023. (PDF)