TY - JOUR AU - Matthias Walter TI - Short paper - The Binary Linearization Complexity of Pseudo-Boolean Functions JO - Open Journal of Mathematical Optimization PY - 2024 SP - 1 EP - 12 VL - 5 PB - Université de Montpellier UR - https://ojmo.centre-mersenne.org/articles/10.5802/ojmo.34/ DO - 10.5802/ojmo.34 LA - en ID - OJMO_2024__5__A6_0 ER -