Pseudo-Boolean Formulation