この資料をSMS送信: Constraint solving over multi-valued logics :