Skip to Main content Skip to Navigation
Conference papers

Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults

Abstract : This paper discusses the error resilience of Zero-Suppressed Binary Decision Diagrams (ZDDs), which are a particular family of Ordered Binary Decision Diagrams used for representing and manipulating combination sets. More precisely, we design a new ZDD canonical form, called index-resilient reduced ZDD, such that a faulty index can be reconstructed in time O(k), where k is the number of nodes with a corrupted index.
Document type :
Conference papers
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Thursday, November 24, 2016 - 10:39:41 AM
Last modification on : Wednesday, December 8, 2021 - 9:22:03 AM
Long-term archiving on: : Monday, March 20, 2017 - 7:51:53 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Anna Bernasconi, Valentina Ciriani. Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults. 8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.1-12, ⟨10.1007/978-3-662-44602-7_1⟩. ⟨hal-01402013⟩



Record views


Files downloads