“…Unit propagation is a common basis for many different simplification techniques [3,12,13,17,18,20,21,31,32,35,38]. A key example is failed literal elimination [13,31,34], which aims at deducing unit clauses via checking whether assuming a truth value for a single variable results in a conflict by unit propagation.…”