An Optimal Encoding to Represent a Single Set in an ROBDD

DOI10.1109/TC.2009.121zbMATH Open1368.68190OpenAlexW2149939950MaRDI QIDQ5280795FDOQ5280795

Authors: Ondřej Lhoták, Stephen Curial, José Nelson Amaral 

Publication date: 27 July 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2009.121

Mathematics Subject Classification ID

Data structures (68P05)

This page was built for publication: An Optimal Encoding to Represent a Single Set in an ROBDD

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