Hydras: Directed Hypergraphs and Horn Formulas
From MaRDI portal
Publication:5200511
DOI10.1007/978-3-642-34611-8_25zbMath1341.05181arXiv1504.07753OpenAlexW2103113565MaRDI QIDQ5200511
Despina Stasi, György Turán, Robert H. Sloan
Publication date: 6 November 2012
Published in: Graph-Theoretic Concepts in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1504.07753
Related Items (3)
Hydras: complexity on general graphs and a subclass of trees ⋮ Hydras: directed hypergraphs and Horn formulas ⋮ On the hydra number of disconnected graphs
This page was built for publication: Hydras: Directed Hypergraphs and Horn Formulas