Pages that link to "Item:Q1961448"
From MaRDI portal
The following pages link to An algorithm for the class of pure implicational formulas (Q1961448):
Displayed 3 items.
- On generalizations of the shadow independent set problem (Q878644) (← links)
- Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable (Q1765303) (← links)
- Improving a fixed parameter tractability time bound for the shadow problem (Q1877708) (← links)