TY - RPRT TI - Streamlined Constraint Reasoning via CNN Pattern Recognition on Enumerated Solutions AU - Patrick Spracklen PY - 2026 UR - https://arxiv.org/abs/2605.19895 ID - 2605.19895 ER -