3 citations · 6 across the 9 of their papers we have counts for
1 paper · 2 filters
Olivier Bailleux
Some aspects of the result of applying unit resolution on a CNF formula can be formalized as functions with domain a set of partial truth assignments. We are interested in two ways…