https://profilbaru.com/en/Quadratic_pseudo-Boolean_optimization