Title: Pseudo-Boolean methods for bivalent programming