Pseudo-Boolean methods for bivalent programming | lit.salon