On Quadratization of Pseudo-Boolean Functions1
Endre Boros, Aritanan Gruber · 2014
We survey current term-wise techniques for quadratizing high-degree pseudo-Boolean functions and introduce a new one, which allows multiple splits of terms. We also introduce the first aggregative approach, which splits a collection of terms based on their common parts.