この資料をSMS送信: High-level specification and efficient solving of constraint satisfaction problems /