Pseudo-Boolean programming and applications | lit.salon