この資料をSMS送信: Pseudo-Boolean programming and applications