Optimizing Decision Diagrams for Measurements of Quantum CircuitsRyosuke MatsuoRudy Raymondet al.2024ASP-DAC 2024