Pages that link to "Item:Q3587398"
From MaRDI portal
The following pages link to On Approximate Horn Formula Minimization (Q3587398):
Displayed 5 items.
- A decomposition method for CNF minimality proofs (Q392185) (← links)
- Hydras: complexity on general graphs and a subclass of trees (Q507535) (← links)
- Hydras: directed hypergraphs and Horn formulas (Q507537) (← links)
- Hardness results for approximate pure Horn CNF formulae minimization (Q2254607) (← links)
- Directed hypergraphs and Horn minimization (Q2404615) (← links)