Title: Pseudo-Boolean programming