ZDD: Zero-suppressed Binary Decision Diagram; a specialised data structure used to efficiently represent and manipulate Boolean functions, particularly useful in polynomial reduction.