13,193 followers
RT @AndresECaicedo1: From "Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking", by M. Codish, M. Frank, A. Itzhak…
RT @AndresECaicedo1: From "Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking", by M. Codish, M. Frank, A. Itzhak…
From "Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking", by M. Codish, M. Frank, A. Itzhakov, and A. Miller. Constraints 21 (2016), no. 3, 375–393. https://t.co/lRjsqGlYqK I suppose one must ask whether we indeed have a proof i
RT @constraints_cp: Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking https://t.co/x2bYGQ4hJe #copr #ramsey #cp…
Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking https://t.co/x2bYGQ4hJe #copr #ramsey #cpaior16