Pages that link to "Item:Q2404615"
From MaRDI portal
The following pages link to Directed hypergraphs and Horn minimization (Q2404615):
Displaying 11 items.
- On the complexity of strongly connected components in directed hypergraphs (Q517789) (← links)
- A subclass of Horn CNFs optimally compressible in polynomial time (Q693287) (← links)
- Horn functions and their DNFs (Q1195858) (← links)
- Horn minimization by iterative decomposition (Q1277344) (← links)
- Max Horn SAT and the minimum cut problem in directed hypergraphs (Q1380929) (← links)
- Horn functions and submodular Boolean functions (Q1392203) (← links)
- Strong duality in Horn minimization (Q1679964) (← links)
- Directed Moore hypergraphs (Q1902896) (← links)
- A representation of antimatroids by Horn rules and its application to educational systems (Q2403022) (← links)
- Unique key Horn functions (Q2672584) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465880) (← links)