أرسل هذا في رسالة قصيرة: Hypergraph Transversal Computation and Related Problems in Logic and AI