Login / Signup

Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems.

Alexander A. SemenovIlya V. OtpuschennikovIrina GribanovaOleg ZaikinStepan Kochemazov
Published in: Log. Methods Comput. Sci. (2020)
Keyphrases
  • optimization problems
  • search algorithm
  • decision problems
  • solving problems
  • computational geometry
  • lower bound
  • evolutionary algorithm
  • combinatorial problems
  • practical problems
  • sat solving