Short proofs of the pigeonhole formulas based on the connection method
From MaRDI portal
Publication:915494
DOI10.1007/BF00244489zbMath0702.68091MaRDI QIDQ915494
Publication date: 1990
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Related Items
Tractability through symmetries in propositional calculus, Clause trees: A tool for understanding and implementing resolution in automated reasoning, Simplification in a satisfiability checker for VLSI applications