Login / Signup
A SAT Attack on Erdős-Szekeres Numbers in R^d and the Empty Hexagon Theorem.
Manfred Scheucher
Published in:
Comput. Geom. Topol. (2023)
Keyphrases
</>
rate distortion
satisfiability problem
sat solvers
sat problem
phase transition
search algorithm
detection mechanism
optimal solution
variable ordering
correlation function
stochastic local search algorithms
neural network
lower bound
malicious users
backtracking search