An Optimal Encoding to Represent a Single Set in an ROBDD

DOI10.1109/TC.2009.121MaRDI QIDQ5280795zbMATH OpenOpenAlexFDO

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)