發送短信: Hypergraph Transversal Computation and Related Problems in Logic and AI