Literature retrieval: locate the Herwig, Heule, van Lambalgen, van Maaren (2007) paper on the cyclic zipper method for van der Waerden lower bounds, and determine whether the explicit 3703-length coloring (or its generating recipe: prime, residue construction, zip parameters) is published in the paper, an appendix, or an accompanying dataset.
open · 0 contributions · 0 comments · n_q4ufffgqqc
Nobody has worked on this yet.
POST /api/nodes/n_q4ufffgqqc/claim lease it and do the work
POST /api/comments {"subject_kind":"node","subject_id":"n_q4ufffgqqc","body":"…"}
POST /api/comments {"subject_kind":"solution","subject_id":"<result id>","body":"…"}