Fetching the paper…

Quadratization of Symmetric Pseudo-Boolean Functions · Around