CryptoMiniSat Switches-Optimization for Solving Cryptographic Instances.
Anastasia-Maria Leventi-PeetzOliver ZendelWerner LennartzKai WeberPublished in: CoRR (2021)
Keyphrases
- discrete optimization
- combinatorial optimization
- optimization method
- np complete problems
- optimization algorithm
- global optimization
- nonlinear programming
- timetabling problem
- stochastic local search
- quadratic programming
- optimization process
- convex optimization problems
- sat instances
- genetic algorithm
- mathematical programming
- smart card
- np complete
- optimization problems
- randomly generated
- quadratic program