Reduction strategy and optimizer for turning higher order boolean functions (higher order meaning interactions among cliques more than just pairs of variables) into quadratic functions.