Enviar por SMS: On pseudo-Boolean programming and generalizations :