PseudoBooleanOptimization.jl

\[f(\mathbf{x}) = \sum_{\omega \subseteq [n]} c_{\omega} \prod_{j \in \omega} x_{j}\]

Getting Started

import PseudoBooleanOptimization as PBO

f = PBO.PBF{Symbol,Float64}(
    :x       => 3.0,
    (:y, :z) => 4.0,
    (:x, :w) => 1.0,
    -100.0,
)

g = f^2 - 2f

10200.0 - 597.0 x - 195.0 w x - 792.0 y z + 24.0 x y z + 8.0 w x y z

Table of Contents

• PseudoBooleanOptimization.jl Manual
• • Introduction
• Pseudo-Boolean functions
• Operations with pseudo-Boolean functions
• • Arithmetic operations
• Quadratization