132 citations · 159 across the 10 of their papers we have counts for
1 paper · 1 filter
Youssef Hamadi, Said Jabbour, Lakhdar Sais
In this paper a new dynamic subsumption technique for Boolean CNF formulae is proposed. It exploits simple and sufficient conditions to detect during conflict analysis, clauses fro…