Algorithms for Reduced Ordered Binary Decision Diagrams

MaRDI QIDQ7361584FDO

Authors Julius Michaelis, Max W. Haslbeck, Peter Lammich, Lars Hupel

Publication date 27 April 2016

Cites work

• Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction

Cited in

(1)

• Simplicial Complexes and Boolean functions

This page was built for software: Algorithms for Reduced Ordered Binary Decision Diagrams