Keyphrases
- sat solvers
- satisfiability problem
- propositional satisfiability
- stochastic local search
- sat solving
- boolean satisfiability
- search algorithm
- malicious attacks
- countermeasures
- sat problem
- key exchange protocol
- authentication protocol
- phase transition
- sat instances
- secret key
- search strategies
- stochastic local search algorithms
- data mining