أرسل هذا في رسالة قصيرة: Pseudo-Boolean programming and applications