この資料をSMS送信: A concise introduction to models and methods for automated planning