أرسل هذا في رسالة قصيرة: Constraint solving over multi-valued logics :