Variable Ordering for Decision Diagrams: A Portfolio Approach

Studying the use of portfolios of variable orderings on the performance of a decision diagram based algorithm for finding graph coloring lower bounds

#Watch the video here