DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions

DOI10.1007/978-3-642-21581-0_8zbMath1330.68270OpenAlexW2142477803MaRDI QIDQ3007675

Alexey Ignatiev, Aleksandr Anatol'evich Semënov

Publication date: 17 June 2011

Published in: Theory and Applications of Satisfiability Testing - SAT 2011 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21581-0_8

Mathematics Subject Classification ID

Cryptography (94A60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

On a class of decision diagrams ⋮ Combining incomplete search and clause generation: an application to the orienteering problems with time windows

Uses Software

• ManySAT
• MiniSat
• Chaff
• PaMiraXT
• Plingeling
• PrecoSAT
• Lingeling
• ZRes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Efficient data structures for backtrack search SAT solvers
• Limitations of restricted branching in clause learning
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Graph-Based Algorithms for Boolean Function Manipulation
• Theory and Applications of Satisfiability Testing
• SAT-Based Scalable Formal Verification Solutions

This page was built for publication: DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions