TY  - RPRT
TI  - A SAT attack on higher dimensional Erdős--Szekeres numbers
AU  - Manfred Scheucher
PY  - 2022
UR  - https://arxiv.org/abs/2105.08406
ID  - 2105.08406
ER  -