Variable Ordering for Decision Diagrams: A Portfolio ApproachPublished in Constraints 2022, 2022Share on Twitter Facebook LinkedIn Previous Next