Candidates for pseudo-boolean