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