Variable Ordering for Decision Diagrams: A Portfolio Approach

Published in Constraints 2022, 2022