SIKS Symposium on Decision Diagrams for Optimization