Pseudo-Boolean Methods for Bivalent Programming | lit.salon