Foil-Gain
- We select the literal with biggest gain
Where
- is the candidate literal to add to rule
- = number of positive bindings of
- = number of negative bindings of
- = number of positive bindings of
- = number of negative bindings of
- is the number of positive bindings of also covered by
- It's interesting to note that
is the optimal number of
bits needed to indicate the class of a positive binding
covered by