أرسل هذا في رسالة قصيرة: Handbook of satisfiability