Pages that link to "Item:Q1961448"

The following pages link to An algorithm for the class of pure implicational formulas (Q1961448):

Displaying 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)