The following pages link to Imran Rauf (Q652621):
Displaying 7 items.
- On the readability of monotone Boolean formulae (Q652622) (← links)
- Polynomial-time dualization of \(r\)-exact hypergraphs with applications in geometry (Q708383) (← links)
- A global parallel algorithm for enumerating minimal transversals of geometric hypergraphs (Q1733046) (← links)
- Some Fixed-Parameter Tractable Classes of Hypergraph Duality and Related Problems (Q3503581) (← links)
- Output-Sensitive Algorithms for Enumerating Minimal Transversals for Some Geometric Hypergraphs (Q3639242) (← links)
- On the Readability of Monotone Boolean Formulae (Q5323097) (← links)
- A Lower Bound for the HBC Transversal Hypergraph Generation (Q5416742) (← links)