أرسل هذا في رسالة قصيرة: Consistency techniques for linear arithmetic and functional constraints /