Counting the Number of Equivalent Binary Resolution Proofs

DOI10.1007/3-540-45653-8_11zbMath1275.03080OpenAlexW1550491426MaRDI QIDQ2996160

J. D. Horton

Publication date: 6 May 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45653-8_11

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

This page was built for publication: Counting the Number of Equivalent Binary Resolution Proofs