Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- search algorithm
- propositional satisfiability
- max sat
- countermeasures
- phase transition
- authentication protocol
- stochastic local search
- detection mechanism
- attack detection
- secret key
- ddos attacks
- boolean satisfiability
- sat solving
- malicious users
- domain independent
- lightweight
- neural network
- np hard
- backtracking search
- pseudo boolean constraints