Quadratizations of symmetric pseudo-Boolean functions: sub-linear bounds on the number of auxiliary variables.

Endre Boros, Yves Crama, Elisabeth Rodrguez-Heck

Browse the full ISAIM paper archive.