RH Sloan, D Stasi,
G Turán - … Workshop, WG 2012, Jerusalem, Israel, June …, 2012 - Springer
We consider a graph parameter, the hydra number, arising from an optimization problem for
Horn formulas in propositional logic. The hydra number of a graph G=(V, E) is the minimal …