Quadratization of symmetric pseudo-Boolean functions

DOI10.1016/j.dam.2016.01.001zbMath1403.90512arXiv1404.6535OpenAlexW2152362848WikidataQ59560478 ScholiaQ59560478MaRDI QIDQ260013

Endre Boros, Martin Anthony, Aritanan Gruber, Yves Cramer

Publication date: 18 March 2016

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1404.6535

zbMATH Keywords

nonlinear and quadratic binary optimizationreformulation methods for polynomialssymmetric (pseudo-)Boolean functions

Mathematics Subject Classification ID

Quadratic programming (90C20) Boolean programming (90C09) Fuzzy sets and logic (in connection with information, communication, or circuits theory) (94D05)

Related Items

Enhancing quantum annealing performance for the molecular similarity problem, Optimal quadratic reformulations of fourth degree pseudo-Boolean functions, A semantic relatedness preserved subset extraction method for language corpora based on pseudo-Boolean optimization, On the complexity of binary polynomial optimization over acyclic hypergraphs, Efficient minimization of higher order submodular functions using monotonic Boolean functions, Quadratic reformulations of nonlinear binary optimization problems, Compact quadratizations for pseudo-Boolean functions

Uses Software

• JBool

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quadratic reformulations of nonlinear binary optimization problems
• Mixed integer nonlinear programming. Selected papers based on the presentations at the IMA workshop mixed-integer nonlinear optimization: Algorithmic advances and applications, Minneapolis, MN, USA, November 17--21, 2008
• Pseudo-Boolean optimization
• The threshold order of a Boolean function
• Size--Depth Tradeoffs for Threshold Circuits