Technology for translating combinatorial problems into Boolean equations

MaRDI QIDQ5150405zbMATH OpenFDO

Authors

Publication date 15 February 2021

Full work available at URL http://mathnet.ru/eng/pdm263

zbMATH Keywords

Boolean equationscryptoanalysisdiscrete functionspropositional encoding

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to computer science (68-04) Combinatorics in computer science (68R05) Computational aspects of satisfiability (68R07) Nonnumerical algorithms (68W05) Boolean programming (90C09) Cryptography (94A60) Boolean functions (94D10)

Recommendations

• Transformations of discrete functions calculation algorithms to Boolean equations
• Application of SAT-approach for solving combinatorial problems
• Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems
• Optimization problems in a linear Boolean space
• Theory and Applications of Satisfiability Testing

Cites work

• Computability of Recursive Functions
• scientific article; zbMATH DE number 5139161 (Why is no real title available?)
• scientific article; zbMATH DE number 3501560 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 1113991 (Why is no real title available?)
• scientific article; zbMATH DE number 954401 (Why is no real title available?)
• scientific article; zbMATH DE number 854547 (Why is no real title available?)
• scientific article; zbMATH DE number 3325539 (Why is no real title available?)
• Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
• SAT-approach to cryptography of some stream ciphering systems
• SAT-Based Scalable Formal Verification Solutions
• The complexity of theorem-proving procedures

Cited in

(9)

• Transformations of discrete functions calculation algorithms to Boolean equations
• Transalg
• On a class of decision diagrams
• scientific article; zbMATH DE number 7199588 (Why is no real title available?)
• Application of SAT-approach for solving combinatorial problems
• scientific article; zbMATH DE number 7310227 (Why is no real title available?)
• Study of discrete automaton models of gene networks of nonregular structure using symbolic calculations
• Preimage attack on 5-round cryptographic hash function JH-256 via parallel SAT solver
• Preimage attack on round-reduced Skein512-256 compression function using SAT solver

Describes a project that uses

Uses Software

• MIPLIB

This page was built for publication: Technology for translating combinatorial problems into Boolean equations

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