Login / Signup
A SAT attack on higher dimensional Erdős-Szekeres numbers.
Manfred Scheucher
Published in:
CoRR (2021)
Keyphrases
</>
higher dimensional
euclidean space
high dimensional
satisfiability problem
distance transform
finite dimensional
arbitrary dimension
lower dimensional
low dimensional
sat solvers
continuous relaxation
data sets
multiscale
principal component analysis
multi dimensional