Aritanan Gruber

most citedOn Quadratization of Pseudo-Boolean Functions

33 citations · 33 across the 3 of their papers we have counts for

collaborators

3 papers

math.OC2014★ 33 cited

On Quadratization of Pseudo-Boolean Functions

Endre Boros, Aritanan Gruber

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 f…

math.OC2014

Quadratization of Symmetric Pseudo-Boolean Functions

Martin Anthony, Endre Boros, Yves Crama +1

A pseudo-Boolean function is a real-valued function $f (x) = f (x_{1}, x_{2}, \dots, x_{n})$ of $n$ binary variables; that is, a mapping from ${0, 1}^{n}$ to $R$ . For a pseudo-Boolean…

cs.CC2012

Hardness Results for Approximate Pure Horn CNF Formulae Minimization

Endre Boros, Aritanan Gruber

We study the hardness of approximation of clause minimum and literal minimum representations of pure Horn functions in $n$ Boolean variables. We show that unless P=NP, it is not po…