共 50 条
- [1] Horn renamability testing in the context of hypergraphs SOR'07: PROCEEDINGS OF THE 9TH INTERNATIONAL SYMPOSIUM ON OPERATIONAL RESEARCH IN SLOVENIA, 2007, : 51 - 56
- [2] Horn renamability and B-GRAPHS SOR'07: PROCEEDINGS OF THE 9TH INTERNATIONAL SYMPOSIUM ON OPERATIONAL RESEARCH IN SLOVENIA, 2007, : 57 - 62
- [6] Hydras: Directed Hypergraphs and Horn Formulas GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2012, 7551 : 237 - 248
- [8] Axiomatisability and hardness for universal Horn classes of hypergraphs Algebra universalis, 2018, 79
- [9] Random Horn Formulas and Propagation Connectivity for Directed Hypergraphs DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2012, 14 (02): : 29 - 35
- [10] Max Horn SAT and the minimum cut problem in directed hypergraphs Mathematical Programming, 1998, 80 : 213 - 237