On Aligning Non-Order-Associated Binary Decision Diagrams

DOI10.1287/IJOC.2023.1293OpenAlexW4364365254MaRDI QIDQ6200129FDOQ6200129

Authors: A. A. Bochkarev, J. Cole Smith 

Publication date: 22 March 2024

Published in: INFORMS Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1287/ijoc.2023.1293

zbMATH Keywords

analysis of algorithmsdata structurescombinatorial optimization problemsbinary decision diagrams

Mathematics Subject Classification ID

Mathematical programming (90Cxx)

This page was built for publication: On Aligning Non-Order-Associated Binary Decision Diagrams

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