A SAT attack on the Erdős-Szekeres conjecture.
Martin BalkoPavel ValtrPublished in: Electron. Notes Discret. Math. (2015)
Keyphrases
- satisfiability problem
- sat solvers
- sat problem
- search algorithm
- phase transition
- countermeasures
- stochastic local search
- sat solving
- key exchange protocol
- variable ordering
- denial of service attacks
- graph coloring
- malicious users
- malicious attacks
- sat encodings
- detection mechanism
- block cipher
- constraint satisfaction
- orders of magnitude