Pseudo-Boolean Functions