6 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2026★ 1 cited
A Two-Watched Literal Scheme for First-Order Logic
Yasmine Briefs, Martin Bromberger, Tobias Gehl +3
The two-watched literal scheme, a core component of efficient CDCL (Conflict-Driven Clause Learning) implementations for propositional logic, is extended to first-order logic. Give…
cs.LO2023★ 6 cited
SCL(FOL) Revisited
Martin Bromberger, Simon Schwarz, Christoph Weidenbach
This paper presents an up-to-date and refined version of the SCL calculus for first-order logic without equality. The refinement mainly consists of the following two parts: First,…