Hydras: Directed hypergraphs and Horn formulas

Robert H. Sloan, Despina Stasi, György Turán

Abstract: We introduce a new graph parameter, the hydra number , arising from the minimization problem for Horn formulas in propositional logic. The hydra number of a graph G