no code implementations • 22 May 2023 • Martin Bromberger, Chaahat Jain, Christoph Weidenbach
We define a respective strategy for the SCL calculus such that clauses learned by SCL and superposition inferences coincide.