1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Dominik Scheder, Philipp Zumstein
A pair of clauses in a CNF formula constitutes a conflict if there is a variable that occurs positively in one clause and negatively in the other. A CNF formula without any conflic…