On a class of decision diagrams

DOI10.1134/S000511791604007XMaRDI QIDQ329079zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• Binary decision diagrams
• Publication:4934627
• Binary decision diagrams
• On the size of binary decision diagrams representing Boolean functions
• Symbolic reasoning with weighted and normalized decision diagrams

Cites work

• scientific article; zbMATH DE number 5542185 (Why is no real title available?)
• scientific article; zbMATH DE number 4085569 (Why is no real title available?)
• scientific article; zbMATH DE number 1150567 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• DPLL+ROBDD derivation applied to inversion of some cryptographic functions
• GRASP: a search algorithm for propositional satisfiability
• Graph-Based Algorithms for Boolean Function Manipulation
• Technology for translating combinatorial problems into Boolean equations
• Theory and Applications of Satisfiability Testing

Cited in

(7)

• Unified View of Decision Diagrams for Representation of Discrete Functions
• A characterization of binary decision diagrams
• scientific article; zbMATH DE number 1423224 (Why is no real title available?)
• Symbolic reasoning with weighted and normalized decision diagrams
• Hierarchical Set Decision Diagrams and Automatic Saturation
• Superset Generation on Decision Diagrams
• On CNF encodings of decision diagrams

Describes a project that uses

Uses Software

• Transalg
• MiniSat

This page was built for publication: On a class of decision diagrams

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