1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Non-Ground Congruence Closure
Hendrik Leidinger, Christoph Weidenbach
Congruence closure on ground equations is a well-established and efficient algorithm for deciding ground equalities. It constructs an explicit representation of ground equivalence…
cs.LO2022★ 1 cited
SCL(EQ): SCL for First-Order Logic with Equality
Hendrik Leidinger, Christoph Weidenbach
We propose a new calculus SCL(EQ) for first-order logic with equality that only learns non-redundant clauses. Following the idea of CDCL (Conflict Driven Clause Learning) and SCL (…