DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions
type: Item
instance of: scholarly article
title: DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions
zbMATH Open document ID: 1330.68270
DOI: 10.1007/978-3-642-21581-0_8
author: A. A. Ignatiev
author: Aleksandr Anatol'evich Semënov
published in: Theory and Applications of Satisfiability Testing - SAT 2011
publication date: 2011-06-17T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 94A60
zbMATH DE Number: 5908738
describes a project that uses: ManySAT
describes a project that uses: PrecoSAT
describes a project that uses: ZRes
describes a project that uses: Lingeling
describes a project that uses: Chaff
describes a project that uses: MiniSat
describes a project that uses: PaMiraXT
describes a project that uses: Plingeling
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-642-21581-0 8
OpenAlex ID: W2142477803
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Q2723442
cites work: Linear-time algorithms for testing the satisfiability of propositional horn formulae
cites work: Theory and Applications of Satisfiability Testing
cites work: SAT-Based Scalable Formal Verification Solutions
cites work: Q3639756
cites work: Q3624075
cites work: Limitations of restricted branching in clause learning
cites work: Efficient data structures for backtrack search SAT solvers
cites work: Q3639754
description: scientific article; zbMATH DE number 5908738