A SAT attack on the Erdős-Szekeres conjecture
From MaRDI portal
Publication:5890914
DOI10.1016/j.endm.2015.06.060zbMath1346.05180WikidataQ123321869 ScholiaQ123321869MaRDI QIDQ5890914
Publication date: 14 October 2016
Published in: Electronic Notes in Discrete Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.endm.2015.06.060
05C55: Generalized Ramsey theory
52C10: Erd?s problems and related topics of discrete geometry
05D10: Ramsey theory
Uses Software