1 paper
Luis Cambelo, Ruben Heradio, Jose-Miguel Horcas +2
The backbone of a Boolean formula is the set of literals that must be true in every assignment that satisfies the formula. This concept is fundamental to key operations on variabil…