Short proofs of the pigeonhole formulas based on the connection method

• 1 September 1990
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 6  (3)
• https://doi.org/10.1007/bf00244489

Abstract

Keywords

• AUTOMATED THEOREM PROVING
• CONNECTION METHOD
• RESOLUTION
• PROOF COMPLEXITY