Symposium on Decision Diagrams for Optimization