RCBDD synthesis.
ESOP minimization.