On a class of decision diagrams

DOI10.1134/S000511791604007XzbMath1409.94951OpenAlexW2345805936MaRDI QIDQ329079

Il'ya Vladimirovich Otpushchennikov, Aleksandr Anatol'evich Semënov

Publication date: 21 October 2016

Published in: Automation and Remote Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1134/s000511791604007x

Mathematics Subject Classification ID

Combinatorics in computer science (68R05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Combinatorial codes (94B25)

Uses Software

• MiniSat
• Transalg

Cites Work

• DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions
• Graph-Based Algorithms for Boolean Function Manipulation
• GRASP: a search algorithm for propositional satisfiability
• Theory and Applications of Satisfiability Testing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item