binary decision diagrams (bdds)

A data structure used to represent Boolean functions, mainly for efficient computation of function operations.