Short Paper - The Binary Linearization Complexity of Pseudo-Boolean Functions

We consider the problem of linearizing a pseudo-Boolean function $f : \lbrace 0,1\rbrace ^n \rightarrow \mathbb{R}$ by means of $k$ Boolean functions. Such a linearization yields an integer linear programming formulation with only $k$ auxiliary variables. This motivates the definition of the lineari...

Full description

Saved in:
Bibliographic Details
Main Author: Walter, Matthias
Format: Article
Language:English
Published: Université de Montpellier 2024-10-01
Series:Open Journal of Mathematical Optimization
Subjects:
Online Access:https://ojmo.centre-mersenne.org/articles/10.5802/ojmo.34/
Tags: Add Tag
No Tags, Be the first to tag this record!