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...
Saved in:
| 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!
|
Similar Items
-
Weakly linear homomorphisms in skew boolean modules
by: Dawit Chernet, et al.
Published: (2015-12-01) -
Disjunctive and conjunctive decompositions of incompletely defined Boolean functions in a Binary Decision Diagram
by: P. N. Bibilo
Published: (2025-03-01) -
On central Boolean rings and Boolean type fuzzy ideals
by: Hamsa Nayak, et al.
Published: (2019-10-01) -
On the structure, complexity, and depth of the circuits over the basis {&,˅} realizing step Boolean functions
by: S.A. Lozhkin, et al.
Published: (2020-09-01) -
Extended algebraic immunity of symmetric Boolean function
by: Gao-fei WU, et al.
Published: (2014-11-01)