Pages that link to "Item:Q741088"
From MaRDI portal
The following pages link to Short propositional refutations for dense random 3CNF formulas (Q741088):
Displaying 5 items.
- Lower bounds for \(k\)-DNF resolution on random 3-CNFs (Q430840) (← links)
- (Q3002778) (← links)
- Some 3CNF properties are hard to test (Q3581273) (← links)
- INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH (Q5082067) (← links)
- First-order reasoning and efficient semi-algebraic proofs (Q6614038) (← links)