Towards the shortest DRAT proof of the Pigeonhole Principle.

Isaac Grosof Naifeng Zhang Marijn J. H. Heule

Published in: CoRR (2022)

Keyphrases

theorem proving
shortest path
theorem prover
linear logic
data mining
computer vision
knowledge base
multimedia
case study
support vector
information technology
automated theorem proving