Pages that link to "Item:Q1861903"
From MaRDI portal
The following pages link to Resolution proofs of matching principles (Q1861903):
Displaying 7 items.
- A feasibly constructive lower bound for resolution proofs (Q915457) (← links)
- A syntactical proof of the Marriage Lemma. (Q1853584) (← links)
- Resolution lower bounds for perfect matching principles (Q1881260) (← links)
- Mutilated chessboard problem is exponentially hard for resolution (Q1884991) (← links)
- Hard examples for resolution (Q3780485) (← links)
- A Logical Autobiography (Q5027230) (← links)
- (Q5092479) (← links)