Young subgroup synthesis.
ESOP minimization.
Truth table based synthesis experiment.