Certificates of unsatisfiability for GR(k) walks with a(k) steps, for 3 <= k <= 6. Proofs were generated in DRAT format using CaDiCaL version 2.1.3 and verified with DRAT-trim.
Certificates of unsatisfiability for GR(k) walks with a(k) steps, for 3 <= k <= 6. Proofs were generated in DRAT format using CaDiCaL version 2.1.3 and verified with DRAT-trim.