An Improved Algorithm for the Construction of Decision Diagrams by Rearranging and Partitioning the Input Cube Set

DOI10.1109/TC.2010.21zbMath1366.90184OpenAlexW2146541304MaRDI QIDQ5280725

Suzana Stojković, Radomir S. Stanković, Dragan Janković

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.2010.21

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

This page was built for publication: An Improved Algorithm for the Construction of Decision Diagrams by Rearranging and Partitioning the Input Cube Set