Variable Ordering for Decision Diagrams: A Portfolio Approach
Published in CPAIOR 2021, 2021
We compare the performance of different portfolios of variable orderings on an algorithm that uses decision diagrams to compute lower bounds on the chromatic number of a graph
Recommended citation: Karahalios and van-Hoeve (2021). "Variable Ordering for Decision Diagrams." CPAIOR 2021. https://www.andrew.cmu.edu/user/vanhoeve/papers/DD_Portfolio_CPAIOR2021.pdf