18 citations · 32 across the 4 of their papers we have counts for
1 paper · 1 filter
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…