Pages that link to "Item:Q3395034"

The following pages link to Resolution Is Not Automatizable Unless W[P] Is Tractable (Q3395034):

Displaying 2 items.

• On finding short resolution refutations and small unsatisfiable subsets (Q820148) (← links)
• Parameterized Bounded-Depth Frege Is Not Optimal (Q3012838) (← links)