שליחה במסרון: Hypergraph Transversal Computation and Related Problems in Logic and AI