A SAT attack on the Erdős-Szekeres conjecture.
Martin BalkoPavel ValtrPublished in: Eur. J. Comb. (2017)
Keyphrases
- satisfiability problem
- sat solvers
- phase transition
- propositional satisfiability
- stochastic local search algorithms
- boolean satisfiability
- countermeasures
- sat problem
- key exchange protocol
- data mining
- sat solving
- denial of service attacks
- max sat
- orders of magnitude
- constraint satisfaction problems
- search space
- search algorithm
- search strategies
- detection mechanism