Towards the shortest DRAT proof of the Pigeonhole Principle
Authors: Isaac Grosof, Naifeng Zhang and Marijn Heule
Paper Information
| Title: | Towards the shortest DRAT proof of the Pigeonhole Principle |
| Authors: | Isaac Grosof, Naifeng Zhang and Marijn Heule |
| Proceedings: | POS PoS'22 FLoC papers |
| Editors: | Daniel Le Berre and Matti Järvisalo |
| Keywords: | pigeonhole principle, proof of unsatisfiability, encoding |
| Pages: | 13 |
| Talk: | Aug 01 15:00 (Session 34L: Proofs I) |
| Paper: |  |