CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances.
Anastasia-Maria Leventi-PeetzOliver ZendelWerner LennartzKai WeberPublished in: POS@SAT (2018)
Keyphrases
- combinatorial optimization
- discrete optimization
- nonlinear programming
- quadratic programming
- global optimization
- optimization problems
- stochastic local search
- constrained optimization
- timetabling problem
- optimization algorithm
- smart card
- hash functions
- learning algorithm
- optimization method
- np complete problems
- sat instances
- integer programming
- key management
- optimization process
- optimization methods
- differential evolution
- multi objective
- search space