[aliceryhl]

I'm an undergraduate who recently started entering the field of OR, and the idea of relaxing decision diagrams to make them polynomially sized sounds very interesting — the first time I hear about it.