Pages that link to "Item:Q3587398"
From MaRDI portal
The following pages link to On Approximate Horn Formula Minimization (Q3587398):
Displaying 8 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)
- On the hydra number of disconnected graphs (Q2322888) (← links)
- Directed hypergraphs and Horn minimization (Q2404615) (← links)
- Approximating Minimum Representations of Key Horn Functions (Q5863327) (← links)
- The algebraic structure of the densification and the sparsification tasks for CSPs (Q6080503) (← links)
