この資料をSMS送信: An LP-designed algorithm for constraint satisfaction