On black-box optimization in divide-and-conquer SAT solving

DOI10.1080/10556788.2019.1685993zbMATH Open1494.90051OpenAlexW2984833564MaRDI QIDQ5085259FDOQ5085259

Authors: S. E. Kochemazov, Oleg Sergeevich Zaikin 

Publication date: 27 June 2022

Published in: Optimization Methods \& Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/10556788.2019.1685993

Recommendations

• Black-box optimization in an extended search space for SAT solving
• Search techniques for SAT-based Boolean optimization
• SAT-approach to cryptography of some stream ciphering systems
• Logical cryptanalysis as a SAT problem
• Applications of SAT Solvers to Cryptanalysis of Hash Functions

zbMATH Keywords

Monte-Carlo methodSATcryptanalysisdivide-and-conquerblack-box optimizationpseudo-Boolean optimization

Mathematics Subject Classification ID

Boolean programming (90C09)

Cites Work

• Efficient global optimization of expensive black-box functions
• PSATO: A distributed propositional prover and its application to quasigroup problems
• ALIAS: a modular tool for finding backdoors for SAT
• Random forests
• `` Direct Search Solution of Numerical and Statistical Problems
• Future paths for integer programming and links to artificial intelligence
• Error detecting and error correcting codes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Monte Carlo Method
• The complexity of theorem-proving procedures
• Variable neighborhood search: Principles and applications
• Algebraic Cryptanalysis
• Branch-and-Bound Methods: A Survey
• A machine program for theorem-proving
• Handbook of metaheuristics
• URSA: a system for uniform reduction to SAT
• SAT race 2015
• Tools and Algorithms for the Construction and Analysis of Systems
• Temporal induction by incremental SAT solving
• Title not available (Why is that?)
• Partitioning SAT instances for distributed solving
• On the analysis of the \((1+1)\) evolutionary algorithm
• New stream cipher designs. The eSTREAM finalists
• Two Trivial Attacks on Trivium
• Application of optimization methods for finding equilibrium states of two-dimensional crystals
• Attacking Bivium Using SAT Solvers
• Black-box optimization in an extended search space for SAT solving
• Derivative-free and blackbox optimization
• Contradiction immunity and guess-then-determine attacks on GOST
• Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
• Title not available (Why is that?)
• Title not available (Why is that?)
• Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system

Cited In (3)

• Global optimization problems associated with cryptographic analysis of asymmetric ciphers
• Optimizing S-Box Implementations for Several Criteria Using SAT Solvers
• Black-box optimization in an extended search space for SAT solving

Uses Software

• MiniSat
• PSATO
• SATO
• Trivium
• EGO
• Rabbit
• CBMC
• MICKEY
• eSTREAM
• URSA
• Transalg
• Grain
• ALIAS
• SMAC
• CryptoSAT
• GitHub

This page was built for publication: On black-box optimization in divide-and-conquer SAT solving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5085259)