ESOP minimization.
RCBDD synthesis.
RCBDD synthesis.