Pages that link to "Item:Q915494"
From MaRDI portal
The following pages link to Short proofs of the pigeonhole formulas based on the connection method (Q915494):
Displaying 4 items.
- Simplification in a satisfiability checker for VLSI applications (Q1312163) (← links)
- Tractability through symmetries in propositional calculus (Q1332641) (← links)
- Clause trees: A tool for understanding and implementing resolution in automated reasoning (Q1402732) (← links)
- Some properties of pigeon-hole formulas (Q2917147) (← links)